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-10-11 16:45:05 +02:00
parent 4cd2dfd6fd
commit e21996d053
146 changed files with 721 additions and 641 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
packages/sci-apps/z3/Manifest
View File

@@ -1,2 +1,2 @@
DIST hasufell-binhost--sci-apps--z3-scm--C.9392.1506814429.803945.C.tar.bz2 17428109 SHA256 89a2f7f395f8881f0357596a8cad15f092c571e2467d0fd350c0fa41469f70be SHA512 d9db8107229e3b11565f9135a045f05296647712b4897ada1c0437c12f7732bbec268e12ee72cd4368208829bae467dae9c9e89cec97cb5858ea61889becbedb WHIRLPOOL 5a6e2769b82b7e0d4f71fe79b130f5773a2c18d58c8497621848372c4928dc396b0d4736579d0926f236632f2c44a734a70337ebcfc5c6ea89564920c34b3f29
PBIN z3-scm.pbin-1+exheres-0 1922 SHA256 523a953a40236d4e9a084b3f5e016d4c7a950094972a8023af53f9f26683d667 SHA512 47d35c01a3c5c4dd6942c5f171a9ad146beda630bb4610fce830f2df1bbbd4282a3468657d30ee77a44c8a8c50a18075bf4428fff4a85784dd1e85c07924db01 WHIRLPOOL e067e1b1b2d865b3594f96446ed4476068130cc6ad131bb95c8698ab2af40b78c34d0a525332589e46e77f63d3e6af93c6a65a1a96a1f04397b121e9beeb957e
DIST hasufell-binhost--sci-apps--z3-scm--C.6651.1507719012.781501.C.tar.bz2 17465321 SHA256 cdc397b8775deea6f0ed046e87c90f76795294c8ebae8a63358706e6c8610330 SHA512 a2ba784706400a1fc179ac1ae9d1ec18267587a21d2124b374d2f0439c6fbdbfeee25eb78fbc4b3ace09d1f6b5d9d534efeef705cddfbcf030c017a270ca356f WHIRLPOOL 84b3f5cd04ff9888f28bde260b517d782acedccf44d766ac91b519c4a15ad9409d22e207e9a04cc972fd877e5c32b8d29d0ffceae49fceb1d9c9e5ff40e6b6de
PBIN z3-scm.pbin-1+exheres-0 1922 SHA256 4ee51c69f1b26d8b5b9d1d2f5bd4c4d5c86af86492def962d6a50da4f5533c44 SHA512 7f76a7e2f8e998b745d9d5aca4568c91259d0b3c381fd452b7bd692a1ef95e91f605a8eaaabc5697b5082eaf87d85c982a52f1faeeafe02ba6a94b256ef5ef08 WHIRLPOOL e6c9b4bd65cbed67de0794109b18ac6e864cfe38b028360a742ca61201de60fbaea638fc60d87e3f8744c43cb2da5fc8c506a49445f7e2c6c702d2f191438783

8
packages/sci-apps/z3/z3-scm.pbin-1+exheres-0
View File

@@ -1,4 +1,4 @@
# Created by paludis-3.0.0 on Sun Oct 1 01:33:54 CEST 2017
# Created by paludis-3.0.0 on Wed Oct 11 12:50:17 CEST 2017
CHOST="x86_64-pc-linux-gnu"
DEPENDENCIES="( ( build+fetch: sys-apps/util-linux[>=2.13_pre2] dev-scm/git[>=1.6.0][curl] net-misc/curl[ssl(+)] ) ) [[ defined-in = [ scm.exlib ] ]] ( build: dev-lang/python:2.7 build+run: dev-lang/ocaml dev-libs/gmp:* ) [[ defined-in = [ z3.exlib ] ]]"
DESCRIPTION=""
@@ -12,7 +12,7 @@ SLOT="0"
DOWNLOADS=""
OPTIONS=""
GENERATED_USING="paludis-3.0.0"
GENERATED_TIME="1506814434"
GENERATED_TIME="1507719017"
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="nicoo"
PLATFORMS="~amd64"
BINARY_PLATFORMS="~amd64"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.9392.1506814429.803945.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.6651.1507719012.781501.C.tar.bz2"
SUMMARY="Open-source, high performance theorem prover"
BUGS_TO=""
REMOTE_IDS=" github:Z3Prover/z3 "
UPSTREAM_CHANGELOG=""
UPSTREAM_RELEASE_NOTES=""
UPSTREAM_DOCUMENTATION=""
SCM_REVISION="bec60f763bbe8daf87413088f19a4b7c23ba7e5c"
SCM_REVISION="09ea370ea33f64e54f9cd837cd4e9f66ebe933df"