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-03-15 11:50:42 +01:00
parent 41eaa23554
commit 40c8e227df
153 changed files with 777 additions and 537 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.8705.1488962253.539625.C.tar.bz2 15917249 SHA256 a0a6dae6046f9946913accab11bf8c3d5a569f9df23f5846afd6affec480888d SHA512 f89aa20b2ad2f92a96e98cf049b25fb9db2fab432bfe7da9ddc8758861d5b1ffcd1cabe5ad717c985ad32322e0cb58793df90654271861beb69b5cba9c936346 WHIRLPOOL 38153309ec1ce79b22871c99380084a922f030464e93ffdf8ea6db06974b9a7efb55a83efbdfc199716f83b67c8c62ebf8548a01a3218c25997ba0b0ab0f6bac
PBIN z3-scm.pbin-1+exheres-0 1902 SHA256 74cb9df945a7d3360324e5f3d48b7dcfaa9022e1b3840d733921132f52ab1e35 SHA512 6e46f5182e0588da187ffb10f1627247ef1062b536e0af7fcab0e879c17205f7205d0b7b5589c154d2684d5392344d78f80f4363aee78761976b8f32ae8f2a33 WHIRLPOOL edb1b7bfe73b9ddcd4b1b9173096f3aace6e5e8e53bb68fd90e3de1cba28d794baa4437f65382c7265c4fa6df53a4307f96bfe9281206b382453a2844f9735ac
DIST hasufell-binhost--sci-apps--z3-scm--C.4681.1489570067.410700.C.tar.bz2 15932614 SHA256 4567bdad6f936725fd4c05dedab3b7c6ce1101228b3f085b809c94a1c1a66a3e SHA512 31042a0aec2fd01624c62a8dfaeb895f5ab6ad5147c4321a6599fcbf6533c029bd135c5de14948712c8afff8cfdee757daa5426e7d438a5bcfbb7c237dcd12e9 WHIRLPOOL 3d0b54c325062b9b0fab441e9f1cbae4c9257769ac8d12b7a571fbe56d26387c792492388abd37e48a7e303efaf19feb23427fa82c78ffd3e66822685e3b535c
PBIN z3-scm.pbin-1+exheres-0 1902 SHA256 dc2b65e57dafeb52727fac1dd45b7af8632bbee8b56bece4c11d3218e01be538 SHA512 44faaf80d8d5b9cd22c40c1f7316f040163cef18103ffe8a735d1b6ecb22978cf743866d9ed9fcbf866be385c8ff6740e80a3e4d30438fbb9ab65da0a487d1b0 WHIRLPOOL 762a85fdf48ae1bc671f1a4aa736e29672a43b5bd89f38d50eccafe00614dcc47bae2d3173c32736f65e9d2fd33d727cbba95500b10e26f1cd8759833387d852

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

@@ -1,4 +1,4 @@
# Created by paludis-3.0.0 on Wed Mar 8 09:37:38 CET 2017
# Created by paludis-3.0.0 on Wed Mar 15 10:27:51 CET 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="1488962258"
GENERATED_TIME="1489570071"
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"
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.8705.1488962253.539625.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.4681.1489570067.410700.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="b57764800cd3899604eea3970cb5c8e124ccf8b1"
SCM_REVISION="72651e2e98b38a8eec25acffa41f1b5470a76fa8"