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

Update

Browse Source
This commit is contained in:
Your Name
2017-07-14 06:25:19 +02:00
parent ee4e24c5ad
commit 08d3a6fd9e
257 changed files with 930 additions and 1010 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.5367.1499282291.574183.C.tar.bz2 53942668 SHA256 6e107c493847af4a1011682343dee142d73398bb8bf23624f46dbcf9b9fe99ff SHA512 dee7f30f2ca72b414c130094b046ed18abc7ccfd308031085dd49c2dc3274ec40a060755511756f38f82b2f3bab7f798ff0e78ad4afad7f8206f95600605cadb WHIRLPOOL 4988b09ee2d834f00c7709dd95ce9c65bc8342297943f096101217b2e8c0c9893aae7d7b3fe41ab2d377728c336787581fded9ce23761ea1eb0f30eb2416d280
PBIN fstar-scm.pbin-1+exheres-0 3082 SHA256 4d5369d3016ccf5c4731e401ebfa43354c91e4ba68d3a6c99b0a072e26475016 SHA512 9abfdd0c54689e04572f005c4d95ece798329d581623d09814151fa6ece7f5fc71ce5cde285bf4007b3086f1665007227ef24abedac810f971699f44e8d07544 WHIRLPOOL 508dfa88aa8ff4dab8dc11f934cb92e3f33f296c76993d7b76618a6cd9b2c04a148b8f3b6062593990fd5382bfbc34bc67cc975bcf455518268f7d9a8a6ba2e0
DIST hasufell-binhost--dev-lang--fstar-scm--C.27130.1499998464.348931.C.tar.bz2 53958892 SHA256 53604edf7208e894274c44885f101a94615d519af4d13002a4d0149694f0e10f SHA512 3a7ddcac33b51c85826ab397fd8cef3bb024dd97e955770da62ca2e74e300a34a01cd97a505ce16dd4dcc56408d0077a43f7678b2753c65be014da45ef13764b WHIRLPOOL 137074a3242d90b0e577d3632b5707ede0626a36793f0ffd9bc732dff179275066d6ee40a8060d001b847d05fbd5770989a32606402f3db9910869f2d8c05a9c
PBIN fstar-scm.pbin-1+exheres-0 3083 SHA256 249fa17b42310d4ce20bd5a69b2be11d2d5510a735219fdb99d1754d5bf93be1 SHA512 85fabb158772165d8d1825547c2a408ad77b7891cc02ab258569d59e1f41ea48f136c7c6801eb02d878b86ed9b7dc5db965eb75848cc51d0e98e2de78f47e0a5 WHIRLPOOL 69380d4c77bc3f30dab2ad52224e619758471aa44e52575d96138252764d1816b8e7ab1a0e3b66638650b308cd9ec71696db55c15286ee4bfabbf605a5c23c7a

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

@@ -1,4 +1,4 @@
# Created by paludis-3.0.0 on Wed Jul 5 21:18:34 CEST 2017
# Created by paludis-3.0.0 on Fri Jul 14 04:14:47 CEST 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/pprint dev-ocaml/stdint 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] dev-scm/git[>=1.6.0][curl] net-misc/curl[ssl(+)] dev-scm/git[>=1.6.0][curl] net-misc/curl[ssl(+)] 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-3.0.0"
GENERATED_TIME="1499282314"
GENERATED_TIME="1499998487"
SUBOPTIONS="AMD64_CPU_FEATURES ANT_DATA_TYPES ANT_SCRIPTING ANT_TASKS APACHE_MODULES ARM_CPU_FEATURES COCKPIT_COMPONENTS 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.5367.1499282291.574183.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--dev-lang--fstar-scm--C.27130.1499998464.348931.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="24a9b607f08afcdca04af5ff806044ca3d0f7992,openssl=9a2dfc0febaf89403cdbd4bfdb2417fd3d055e95,boringssl=2070f8ad9151dc8f3a73bffaa146b5e6937a583f,krb5=b9ad6c49505c96a088326b62a52568e3484f2168,pyca=139b25f2ba73bb34dfe1f100e64a11f17a83618d"
SCM_REVISION="5f131473d561c4b0dec0b19ec7e8fee997e55590,openssl=9a2dfc0febaf89403cdbd4bfdb2417fd3d055e95,boringssl=2070f8ad9151dc8f3a73bffaa146b5e6937a583f,krb5=b9ad6c49505c96a088326b62a52568e3484f2168,pyca=139b25f2ba73bb34dfe1f100e64a11f17a83618d"