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-06-25 03:58:06 +02:00
parent 3820251323
commit 14fadaac69
42 changed files with 201 additions and 121 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.11884.1498353696.894143.C.tar.bz2 53776542 SHA256 68d5f2642f325be508bf46bc1cc790efc9defe380a64bf43cb888575230f96b8 SHA512 f38e6d275c3a5c986397d29e17975040c3911f80ff615af34656f11b3e43982538dbbed3e5d949c4bd68ce108a45feb84416204769acc5eceb153bdace3d2ba7 WHIRLPOOL 859d79a6b6a437a16a7de23c7096a32fc7ba425e24c259367b8e77c391ac150fd51f6455c052c4863fa5848b767be403b13688997eebb9cf5d806fad3fcd68b0
PBIN fstar-scm.pbin-1+exheres-0 3083 SHA256 41363a5259afe4debafa6c956a92374893189a12d3ef019c0cb7b72b1dd401e2 SHA512 49c0870f78c73826b412afa2e447c36d008f60a4a5b01d33cfcb02239447b84594fb8cd79c7d327f0d9028615843cb05ff620201a4a97fe3f007605c770d7597 WHIRLPOOL cbd9826352119a66d1d6743988905dfb3998dc235fbebd2470ac448723be0d3bb2528a4c37dafc5516d318c41ec5b194ae0682483682035c9db7eac950dd5e7b

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

@@ -0,0 +1,38 @@
# Created by paludis-3.0.0 on Sun Jun 25 03:21:59 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."
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-3.0.0"
GENERATED_TIME="1498353719"
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=""
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.11884.1498353696.894143.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="667e18dd5aa1d685018932fe294f4d0cd16417f5,openssl=9a2dfc0febaf89403cdbd4bfdb2417fd3d055e95,boringssl=2070f8ad9151dc8f3a73bffaa146b5e6937a583f,krb5=b9ad6c49505c96a088326b62a52568e3484f2168,pyca=139b25f2ba73bb34dfe1f100e64a11f17a83618d"