hasufell/hasufell-binhost
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update

Browse Source
This commit is contained in:
Julian Ospald
2016-10-20 23:55:34 +02:00
parent 002e1c3c3c
commit 07c0df607c
25 changed files with 447 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
packages/dev-lang/fstar/Manifest Normal file
View File

@@ -0,0 +1,2 @@
DIST hasufell-binhost--dev-lang--fstar-scm--C.1019.1477000454.205391.C.tar.bz2 7335800 SHA256 c5f4c8bd318e8a2d6fd96bbfcab800733729872235c449059b9b280884b58451 SHA512 51b650f6cc9873fa581c2179e21428d5de012b475555cafa506a3b8776718fcf077f9851e1d870689c350ddb1fa8ffb127122e99b9d10531a6c39a4b3981b6d0 WHIRLPOOL 6b1eae5afa2c65b7a14cf26d7ce1c723f782a91f071579ee0efe0c0211395b0cebf887c880deb958ca3ec3a7480467ea70009df722fbd1e0ba1f5ec58e5f3246
PBIN fstar-scm.pbin-1+exheres-0 2697 SHA256 a7a9cc28654ed2027a1bcf37eddd71b9500bda3ee688a1934ea9e4bfd79084d2 SHA512 c39206e53de200be6c408e856f1d8f896db2d6753e72abe22eeba85ef64eea38beb667dca610072b0221a9b2077a67f1b0ea607fd4bbb44f3920b1d952b88d97 WHIRLPOOL 3fe5d4d1210e61d5ed17ed8f94ce62777ff0370017b3823a669ee0bc4c6f071f38c4d21fb06de3bd6b7379b781b855730bdaaf803d6082519815542265794b0e

38
packages/dev-lang/fstar/fstar-scm.pbin-1+exheres-0 Normal file
View File

@@ -0,0 +1,38 @@
# Created by paludis-2.6.0-git-2.6.0-13-g7d83832 on Thu Oct 20 23:54:16 CEST 2016
CHOST="x86_64-pc-linux-gnu"
DEPENDENCIES="( build: dev-lang/fsharp dev-lang/ocaml[>=4.02.2] dev-ocaml/batteries dev-ocaml/findlib dev-ocaml/yojson dev-ocaml/zarith build+run: dev-libs/gmp:=6 run: sci-apps/z3 ) [[ defined-in = [ fstar-scm.exheres-0 ] ]] ( ( build+fetch: sys-apps/util-linux[>=2.13_pre2] dev-scm/git[>=1.6.0][curl] net-misc/curl[ssl(+)] ) ) [[ defined-in = [ scm.exlib ] ]]"
DESCRIPTION=" F* (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness and security properties. The F* type- checker aims to prove that programs meet their specifications using a combination of SMT solving and manual proofs. Programs written in F* can be translated to OCaml or F# for execution."
EAPI="pbin-1+exheres-0"
HOMEPAGE="https://www.fstar-lang.org https://github.com/FStarLang/FStar"
INHERITED=" scm-git scm github"
MYOPTIONS="( ) "
PLATFORMS="~amd64"
LICENCES="Apache-2.0"
SLOT="0"
DOWNLOADS=""
OPTIONS=""
GENERATED_USING="paludis-2.6.0-git-2.6.0-13-g7d83832"
GENERATED_TIME="1477000456"
SUBOPTIONS="AMD64_CPU_FEATURES ANT_DATA_TYPES ANT_SCRIPTING ANT_TASKS APACHE_MODULES ARM_CPU_FEATURES COURIER_MODULES ENCODINGS EPIPHANY_EXTENSIONS EXTENSIONS FPRINT_DRIVERS GCC_VERSION GIT_REMOTE_HELPERS GSTREAMER_PLUGINS IM_PROTOCOLS INPUT_DRIVERS KDE_PARTS KIPI_PLUGINS KOPETE_PLUGINS LIBC LINGUAS LUA_ABIS MODULES MULTIBUILD_C NGINX_MODULES NUT_DRIVERS P2P_NETWORKS PCSC_DRIVERS PHP_ABIS PHP_EXTENSIONS PLATFORM PLUGINS POSTGRESQL_EXTENSIONS PROVIDERS PYTHON_ABIS RUBY_ABIS TARGETS VALA_ABIS VIDEO_DRIVERS X86_CPU_FEATURES"
HIDDEN_SUBOPTIONS="ARM_CPU_FEATURES LIBC MULTIBUILD_C PLATFORM X86_CPU_FEATURES"
ASFLAGS=""
CBUILD=""
CC="x86_64-pc-linux-gnu-cc"
CFLAGS="-march=native -pipe -O2"
CHOST="x86_64-pc-linux-gnu"
CTARGET=""
CXX="x86_64-pc-linux-gnu-c++"
CXXFLAGS="-march=native -pipe -O2"
LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,--hash-style=gnu"
LIBCXXFLAGS=""
GENERATED_FROM_REPOSITORY="hasufell"
PLATFORMS="~amd64"
BINARY_PLATFORMS="~amd64"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--dev-lang--fstar-scm--C.1019.1477000454.205391.C.tar.bz2"
SUMMARY="An ML-like language with a type system for program verification"
BUGS_TO="hasufell@posteo.de"
REMOTE_IDS=" github:FStarLang/FStar "
UPSTREAM_CHANGELOG=""
UPSTREAM_RELEASE_NOTES=""
UPSTREAM_DOCUMENTATION=""
SCM_REVISION="658bcac284996d04ad2980d8bde38f7869cd6227"

2
packages/dev-lang/ocaml/Manifest Normal file
View File

@@ -0,0 +1,2 @@
DIST hasufell-binhost--dev-lang--ocaml-4.03.0--C.5635.1476999795.958967.C.tar.bz2 64437083 SHA256 66697ea4905746433bdfd27eea3ac4529cceca4a8ccdcb6640fae2319ed2cb23 SHA512 9061bd2a6d9999351e52102cd61828cb1a2333c974e3610319a31f7329dcf332b0449577394b51589e08f53acb5eabaf1d3e0f818850da45a2e49cc10360f703 WHIRLPOOL 5f3279f7207386a5d740e57bdab184dd316973146d252fa30c958e9b9e08530d70d9b8d9a0184eb3b27ae3600efea3f3f422997e67f1f0d3e1de3aa6a881b3bf
PBIN ocaml-4.03.0.pbin-1+exheres-0 2638 SHA256 098ed25cdadd67baac1b57bbf2cf9c98717c42f6eb6f74264c8d183a77cd6021 SHA512 6de3876b39f3ef82bf8b2df626376d2cfdff388baabe662f72816a99c6e8630aa7a61f6d3755c1af530294ea8aa3200ed2f2cdf93be42be80d5c0cf99f75718a WHIRLPOOL df8b22b5f3d020f49198325ac06696947181e2d03f4ae29b088433761fffc9d104aaad3239495c119cb54b32941975819486f2ae1a917f881b4bfc6a7e234fe3

38
packages/dev-lang/ocaml/ocaml-4.03.0.pbin-1+exheres-0 Normal file
View File

@@ -0,0 +1,38 @@
# Created by paludis-2.6.0-git-2.6.0-13-g7d83832 on Thu Oct 20 23:43:37 CEST 2016
CHOST="x86_64-pc-linux-gnu"
DEPENDENCIES="( build: app-arch/xz build+run: ncurses? ( sys-libs/ncurses ) ) [[ defined-in = [ ocaml.exlib ] ]]"
DESCRIPTION=" The OCaml system is the main implementation of the OCaml language. It features a powerful module system and a full-fledged object-oriented layer. It comes with a native-code compiler that supports numerous architectures, for high performance; a bytecode compiler, for increased portability; and an interactive loop, for experimentation and rapid development."
EAPI="pbin-1+exheres-0"
HOMEPAGE=" http://caml.inria.fr/ocaml/index.en.html [[ description = [ Official homepage at Inria ] ]] http://ocaml.org/ [[ description = [ Community-driven website ] ]]"
INHERITED=" flag-o-matic ocaml"
MYOPTIONS="( ( doc [[ description = [ Install OCaml's manpages ] ]] ncurses [[ description = [ Adds ncurses support (console display library) ] ]] ) [[ defined-in = [ ocaml.exlib ] ]] ) "
PLATFORMS="~amd64 ~x86"
LICENCES="|| ( LGPL-2 QPL-1.0 )"
SLOT="0"
DOWNLOADS="http://caml.inria.fr/pub/distrib/ocaml-4.03/ocaml-4.03.0.tar.xz"
OPTIONS="ncurses "
GENERATED_USING="paludis-2.6.0-git-2.6.0-13-g7d83832"
GENERATED_TIME="1476999817"
SUBOPTIONS="AMD64_CPU_FEATURES ANT_DATA_TYPES ANT_SCRIPTING ANT_TASKS APACHE_MODULES ARM_CPU_FEATURES COURIER_MODULES ENCODINGS EPIPHANY_EXTENSIONS EXTENSIONS FPRINT_DRIVERS GCC_VERSION GIT_REMOTE_HELPERS GSTREAMER_PLUGINS IM_PROTOCOLS INPUT_DRIVERS KDE_PARTS KIPI_PLUGINS KOPETE_PLUGINS LIBC LINGUAS LUA_ABIS MODULES MULTIBUILD_C NGINX_MODULES NUT_DRIVERS P2P_NETWORKS PCSC_DRIVERS PHP_ABIS PHP_EXTENSIONS PLATFORM PLUGINS POSTGRESQL_EXTENSIONS PROVIDERS PYTHON_ABIS RUBY_ABIS TARGETS VALA_ABIS VIDEO_DRIVERS X86_CPU_FEATURES"
HIDDEN_SUBOPTIONS="ARM_CPU_FEATURES LIBC MULTIBUILD_C PLATFORM X86_CPU_FEATURES"
ASFLAGS=""
CBUILD=""
CC="x86_64-pc-linux-gnu-cc"
CFLAGS="-march=native -pipe -O2"
CHOST="x86_64-pc-linux-gnu"
CTARGET=""
CXX="x86_64-pc-linux-gnu-c++"
CXXFLAGS="-march=native -pipe -O2"
LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,--hash-style=gnu"
LIBCXXFLAGS=""
GENERATED_FROM_REPOSITORY="ocaml-unofficial"
PLATFORMS="~amd64 ~x86"
BINARY_PLATFORMS="~amd64"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--dev-lang--ocaml-4.03.0--C.5635.1476999795.958967.C.tar.bz2"
SUMMARY="A general-purpose programming language, designed for safety and reliability."
BUGS_TO="fauxmight@nosocomia.com nicolas+exherbo@braud-santoni.eu"
REMOTE_IDS=""
UPSTREAM_CHANGELOG=""
UPSTREAM_RELEASE_NOTES=""
UPSTREAM_DOCUMENTATION="http://caml.inria.fr/resources/doc/index.en.html"
SCM_REVISION=""