hasufell/hasufell-binhost
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update

Browse Source
This commit is contained in:
Your Name
2018-12-25 13:31:10 +01:00
parent c81d384d29
commit 7e110ef8e0
95 changed files with 355 additions and 355 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.3285.1544967386.601727.C.tar.bz2 18068700 SHA256 59d2a121491158a8661310096eecd8e43ba7b8fdfefd10a0c7ecb6af84d90cf8 SHA512 a2a92e51f08e9a45c1d38ca97b11d7e86002d2a5c1172b6db9e7931d247e2446fcc1e606e84c33d2bbb00d08e53139a1786e9b76a88adcb7d10743781bc66599 WHIRLPOOL 67113c4284dedad9122c00acf74ae32c3b7e18f85a20ec516a9afde3796a5eeae3c629d9de3c1228963e070125ec52f21c735b3305990898f5954b46931112de
PBIN z3-scm.pbin-1+exheres-0 1940 SHA256 12b056e5eeed18962a0edc96a1f3ca601ec943c2ad6d53d2d2b2b16371f23ca9 SHA512 6c1345d0f519bc31bcdcc389c0e6e30d0f4e0974abc44556662302cb35bcf14007289a2edeca7063a76e9796934945f9f853e852f322f4f78f97f8fd6a805698 WHIRLPOOL 151c3d62b46ef473dfcc1fe6e1a7f453d81bb49ad504bcfe95838019479bea708e9b081a145448507049d3db16fd302044b7acbde4369ffe0ccabd064121e9bb
DIST hasufell-binhost--sci-apps--z3-scm--C.19487.1545738518.229152.C.tar.bz2 18973009 SHA256 581d605f8011defebe90b6f56c4283c3072bb1aef645d30500a643da576e1215 SHA512 530fc04d736dc799f74f947239ac57b64274c843140cf59cfa74040f5a38a561cb8a9a49bd5c8352c31935589d033d25db53e1b5387e7726223d1dc2941f425b WHIRLPOOL 35effe3bc27543b6fb9fc796f4dee356783072e135444030368c9b3ddd1083f5b31633dee6fde8589acdc9d82850a911b1cdc622b5e565d3d9067885e016f5d3
PBIN z3-scm.pbin-1+exheres-0 1941 SHA256 62e8c79fa52ee1934e85b63c1f176d3c85c6f4b1a37fcbbc44c21f118f65e146 SHA512 8595439f7d1f0c6d364afd172e600089b269b7478f82e9f7017829de72511ccb1c82743b6a1d489a7ebebf2f2d8326d9b67eb89ec550a823bf77c3c6604b3b60 WHIRLPOOL 024216467623a0873f4fb657b5cb681207ae690b9463d8fba64e31bf6941dba61a9c43caecdcc310a478a484ed8786ff293a31882b3cdf7885179137e9053255

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 Dec 16 14:36:31 CET 2018
# Created by paludis-3.0.0 on Tue Dec 25 12:48:43 CET 2018
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="1544967391"
GENERATED_TIME="1545738523"
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 POSTGRESQL_SERVERS 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.3285.1544967386.601727.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.19487.1545738518.229152.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="58b9fc437d95c1f1c0fa3442ebc13d0b49d60fbe"
SCM_REVISION="04fb8a45eb877af0236c40f4dbdb1ffa6958c63b"