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-11-05 14:43:25 +01:00
parent f705402d39
commit 9a0485fd9a
15 changed files with 34 additions and 234 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.20820.1477645042.796470.C.tar.bz2 7956953 SHA256 a5b44a448efd7387f63c1d127be5b120b352da2ae5809df5c556ccf4e995f458 SHA512 0c561cfa02f068cc078da936a30ef49394f2a0dfeaa3dac04e4c85451993db6796de49eeae916759b663695cf0d62b73767c6eb54dfb3e0892ff542f5cf4a442 WHIRLPOOL c1105de7ed9741fd8a2f42a38ef7d8209af6d099e1538d7f2a8f3933e2f9fd90e2af0028b392ad8ef1b1dc957f1955d126d4625dbb98bd8cb44174ee3f353245
PBIN fstar-scm.pbin-1+exheres-0 2698 SHA256 fe0cc097a31d6c8d4f78f0d2141a63c727e4505727b2d9e73d1384700e21454b SHA512 9bfd1ed0a528d9ead74cbaca8e9e2193f0eb588a3aac1ecd3b5848afd526712ceb7b93b663dad01349ce60a8495d63c74f0bfea861d5dd3bbf04454f4e55f937 WHIRLPOOL 09849d29ff0d1318dd25d22fefe86bc812fae1ff00c434c77c05d967bcc696064bbff5cdd4c002d8f066f9ee4c07cde07e1e38e12e5b898c9e9f59787e33b880
DIST hasufell-binhost--dev-lang--fstar-scm--C.27507.1478353393.110580.C.tar.bz2 7982966 SHA256 e93bdad8db3b0714c6f1bd7d6055a5e5e7a3eb84d1a91c000557709e1043c129 SHA512 ad3d80b8af26a77987a862b3a94c2eaee70442e9f9aac274d3f8751bd9da25e2512ece8000dc45d2318f1623ecdae940639feb89fc8ef82769215d7a2fbc9b0f WHIRLPOOL db107bd030a05a60575188aca75ee4cd4d8cac68eb102f3e0bffe7929bd380380cdfa582de7f54129bcc8cae5d0d687c3120ba3ed09be57f510161989dc2b063
PBIN fstar-scm.pbin-1+exheres-0 2697 SHA256 55a2b2b39dd2ee8c57b04c7b7c6a52304b5fd8d48e63129a5fbd86c324bad732 SHA512 7da1e80cad266e02e4acd5f4090d4e7bee97ae48304bb7409c17eaf3a69c9879c52e75f5f7747834639ba37cd31d69eedbca2f2e824bc138b27fb9ab02e87b6c WHIRLPOOL dc4758034d3f93925f7895509e334b2708d8b1a20e36ccdb535b6f0ed3a7dacf5ec43f51f8f770b6c176c5c66b2ee4d70eb301b255a3419681528ce791b7ad55

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

@@ -1,4 +1,4 @@
# Created by paludis-2.6.0-git-2.6.0-13-g7d83832 on Fri Oct 28 10:57:25 CEST 2016
# Created by paludis-2.6.0-git-2.6.0-13-g7d83832 on Sat Nov 5 14:43:15 CET 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."
@@ -12,7 +12,7 @@ SLOT="0"
DOWNLOADS=""
OPTIONS=""
GENERATED_USING="paludis-2.6.0-git-2.6.0-13-g7d83832"
GENERATED_TIME="1477645045"
GENERATED_TIME="1478353395"
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=""
@@ -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.20820.1477645042.796470.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--dev-lang--fstar-scm--C.27507.1478353393.110580.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="612f68ecdb7e24bd614787a962b3d4f1c0a4a1e5"
SCM_REVISION="a1b1f71b88466819d259b3345ccda7bab5131cf7"