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

Update

Browse Source
This commit is contained in:
Julian Ospald
2017-01-08 20:37:13 +01:00
parent 72650dc6aa
commit daad459086
27 changed files with 200 additions and 120 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
packages/dev-lang/fstar/Manifest
View File

@@ -1,2 +1,2 @@
DIST hasufell-binhost--dev-lang--fstar-scm--C.12758.1482922539.904673.C.tar.bz2 7783336 SHA256 91261c2366c11ad0f0e0d0928c21728ccff4f2c4ac58e5c594f7b746346a5920 SHA512 6ca461e6a322228b2dbf245aa23ac65d2a6e4afd5500f9147152e7c0d863ce3495e89ae0d4f3a8c78b6a8ff3e90a3b57660fb28542fe6b36cf65bb134aba31f1 WHIRLPOOL 2c68ffbc09787ced576025cb600089f817e0d4e32f8d97accda9926ba8fa31eb1c5e9174cd1b08a400d68079943522cf684001db9051fcde174f9452646ba23c
PBIN fstar-scm.pbin-1+exheres-0 2739 SHA256 9b1e4e9b2ac1d92020d7f8286b783d5e3a880b143f5b425179b38a7c6d9f7a42 SHA512 369aac05210517a92996692ad95058d6091c9510e21a4aeb75128a709daae998ad3d6c623f13338cd05cf20828af9b25e25d34a03f5373949011316dfcc4b470 WHIRLPOOL 60627acb01c4fb0941a34aef30a83f09db4c0045f6d4f8301b327ac8f621f63f1c542f106967caccc1a60244e911384937ce9d6f3d20322c269c333485e8e20d
DIST hasufell-binhost--dev-lang--fstar-scm--C.5376.1483903950.160711.C.tar.bz2 7871397 SHA256 3bf685aec88c8b2b261b6abaa763517c5cd16924d34ea56eab0be31319d69f47 SHA512 8039575629d81f202c61923058f4f3a84f9da133aabbd2aea0c5f8f2603fc2ff3d1c25d441e2f8a8977139b3afd62a499f17415e3441f16333a1c2cabf910821 WHIRLPOOL ba50858ec4d153e988b84a9097340aab7a932e0687a57023c37ca6049f864f4306099cc3b3dc34032ce38008bd8326c600394bf706f06f795b31d2285ff860b4
PBIN fstar-scm.pbin-1+exheres-0 2755 SHA256 28b59dddfe87b47f7ddcbaee83755a15cf924b646dc2204c4360fb8e3a910483 SHA512 493dcc6d5fbd79bd1926f29b79b9a5c01cd694b40e33cbab42cd363542403aaea722dbf59eb727958ed9ade2549bc603336dc695f02725fc688341efda8d17e0 WHIRLPOOL cac7357ba803b67ef5c3a185f25eda33d6ccffcabcaeb57a3894e02fc1770d7d46178d5f74771a0f644a703496676a18a6a0d184cfff09eca849b40b96445223

10
packages/dev-lang/fstar/fstar-scm.pbin-1+exheres-0
View File

@@ -1,6 +1,6 @@
# Created by paludis-3.0.0 on Wed Dec 28 11:55:42 CET 2016
# Created by paludis-3.0.0 on Sun Jan 8 20:32:32 CET 2017
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(+)] dev-scm/git[>=1.6.0] ) ) [[ defined-in = [ scm.exlib ] ]]"
DEPENDENCIES="( build: dev-lang/fsharp dev-lang/ocaml[>=4.02.2] dev-ocaml/batteries dev-ocaml/findlib dev-ocaml/pprint 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(+)] dev-scm/git[>=1.6.0] ) ) [[ 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"
@@ -12,7 +12,7 @@ SLOT="0"
DOWNLOADS=""
OPTIONS=""
GENERATED_USING="paludis-3.0.0"
GENERATED_TIME="1482922542"
GENERATED_TIME="1483903952"
SUBOPTIONS="AMD64_CPU_FEATURES ANT_DATA_TYPES ANT_SCRIPTING ANT_TASKS APACHE_MODULES ARM_CPU_FEATURES CONTRIB_MODULES 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=""
@@ -28,11 +28,11 @@ LIBCXXFLAGS=""
GENERATED_FROM_REPOSITORY="hasufell"
PLATFORMS="~amd64"
BINARY_PLATFORMS="~amd64"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--dev-lang--fstar-scm--C.12758.1482922539.904673.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--dev-lang--fstar-scm--C.5376.1483903950.160711.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="bae9872c536480f3252a95ea72c5e9f0d148bd4a,openssl=174ec019c3eb37f552d781a1549cdbccb81627ae"
SCM_REVISION="0a47ffb0d45c76d08da429228ac480710920535d,openssl=174ec019c3eb37f552d781a1549cdbccb81627ae"