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-04-18 15:12:39 +02:00
parent fd8e5eac94
commit 0881cc3f63
254 changed files with 1390 additions and 1230 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.2764.1491485295.777782.C.tar.bz2 15936610 SHA256 21aa114cb6fef800f41fc9003e0e38c90739d82a45fd6e40021983fc5d521f4b SHA512 a23aa41a7821ee4396a730896367765fd10a517b4a3daf03a9a66428e39f1c08b21302e7f09d8989861dcf85dbdc59b4bbc10a8ce6461eed06ab27548b4f5316 WHIRLPOOL 8fee2a3c41a358c92d32e54fbc398d4db469163cb2a1ec6a3b5c44cfd38bf5a75132a701ae6c7606701bebfb7d37442555a1ed80fe441c1b5884cb6e77c12085
PBIN z3-scm.pbin-1+exheres-0 1922 SHA256 347ba37944e099599a5211e861f1da37b85a819de1b39356d76d95d135030fad SHA512 9ce2ab9894df8207088d0ecb3ad51e49baf61348bdd9974ff7901df11f95820f3abdbb9542966c23f45091b47a00ce6af214ed5a89403128034d95a7c7a9d998 WHIRLPOOL 20fdbcc5abe94ea560bf7b5ea8ab9d9f5993d790f8707876c67dba826cd463104c0dd31379fc4bad1346adad6ea4fa79e5f39f98ff2696a9b194eb4c54e95114
DIST hasufell-binhost--sci-apps--z3-scm--C.20852.1492514349.910835.C.tar.bz2 15944946 SHA256 99a4c419a67f72aa910c5afd854737686795f53efabc2943d5c5f40f1ea5b334 SHA512 099482a509c33b5826b7596f1ee651b7ab699c14678456f86ba507167280e703291e41ad1f3efe3fdde6bd2521d98149e71c3dbc894e9eda848f3012277be12b WHIRLPOOL 699f2471fc7a9dc8c3dfa8221e86769b3b661ba37556ce95326949637c2efa3eb013e1a9fa6d7b4984b67abb0bb886de1bc20beef74c4ba626a75105c49df047
PBIN z3-scm.pbin-1+exheres-0 1923 SHA256 b0b8cb86c39d26d07df552e468682b78149ea0a8e06d8a8f331aec63b38202f9 SHA512 499683bb59d9c0ad52633b79f0858c8e76597f1746c5ece3a12823425ffd72a3048544476774d31db7dc6147403de83155fde14c0cc6e152524f359c74be1c1e WHIRLPOOL 8674ef280e34d1ecf8310d04d1b7422bfd6760b18d07edd950c2b2bf455d669d5e12b22619ee270d97ef1d286d775e46a127c7ad415c551eb833a22b69f4488c

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

@@ -1,4 +1,4 @@
# Created by paludis-3.0.0 on Thu Apr 6 15:28:19 CEST 2017
# Created by paludis-3.0.0 on Tue Apr 18 13:19:13 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="1491485299"
GENERATED_TIME="1492514353"
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.2764.1491485295.777782.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.20852.1492514349.910835.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="7d35fcb17eb035ebd1b63ff3d62c7a4101fe7435"
SCM_REVISION="66e61b8a31a04a858af570e0665fcdd61fc0c2d2"