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-06 17:20:30 +02:00
parent ebf85e5a2f
commit fd8e5eac94
103 changed files with 528 additions and 608 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.6120.1490297621.612899.C.tar.bz2 15931770 SHA256 6056219bea4b288fe87334d2cb44f2d0742cb318aa1b789927e328f676841840 SHA512 6a67f8fac63cb992eacf67adc20b0dd1258fc18f5c2c2d5ad846582a95b4d3589786591d1305fd8073692626c16d1b026ed153e6452ff0d27ebed6e09e7cbc63 WHIRLPOOL b7a274014c7272da1ee733a42be9f90a10b2198b18b3f32c4052e1b6a736684d2ebca8b4fd03858d44d26eb9b53b6b2c7340fd1a622d2fe5a8fbe24b4376fedd
PBIN z3-scm.pbin-1+exheres-0 1902 SHA256 c8eba9c3805470798894db641c28087ae379deb18849c3d1bbe8855ff66e564c SHA512 2e0c4d859381bd3147e1c51386b7d9c09489747a72c072f2fb89fde18022c0e97d610bf5f19d5f42fc166ff8bdeababc34ca840b49824acf6ff67e6b617af760 WHIRLPOOL 85ca3bf5758aedfb6acadd170a15e77950f7946b3e2c95db1a597a5ece8c3219371e8ec2cbb80300928da82f749e0110c4e7d21e99c5c032d9585256a878f982
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

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

@@ -1,4 +1,4 @@
# Created by paludis-3.0.0 on Thu Mar 23 20:33:45 CET 2017
# Created by paludis-3.0.0 on Thu Apr 6 15:28:19 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,8 +12,8 @@ SLOT="0"
DOWNLOADS=""
OPTIONS=""
GENERATED_USING="paludis-3.0.0"
GENERATED_TIME="1490297625"
SUBOPTIONS="AMD64_CPU_FEATURES ANT_DATA_TYPES ANT_SCRIPTING ANT_TASKS APACHE_MODULES ARM_CPU_FEATURES 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"
GENERATED_TIME="1491485299"
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=""
@@ -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.6120.1490297621.612899.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.2764.1491485295.777782.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="0313f52cf25b51003f6b03c85cabd0be8b1244b1"
SCM_REVISION="7d35fcb17eb035ebd1b63ff3d62c7a4101fe7435"