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-09-12 13:31:08 +02:00
parent 9ee12b22bb
commit dccb905321
48 changed files with 152 additions and 152 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.11222.1504534907.686357.C.tar.bz2 17466452 SHA256 aaed84b725e023fa51b939bc547c72645a1d5464f36dc2b9b9dae515c4374800 SHA512 d1710359d6f7651e95e8227c14fe564cfa439a99ea20acaa67e376629491a4650e650feb83c3ce27ec9114d70fba59d347861addf9b945a2ad2b7504c372fb55 WHIRLPOOL 5912e4c3226cee542e1dbdca6d74b423433d4b4cfda685f8ed1e4d06bf4c60e5fcc498fa1b26d0472a5ee41f82037162ee05cafa92a942e5c06707d474a12fa5
PBIN z3-scm.pbin-1+exheres-0 1923 SHA256 e80c3c23ae306cf03c39c1978b49daef837bcfd5ccc0bd8966aabc7b7ec29d1b SHA512 efd3db59c8d01e9b9f0c9c89a25576c4f6d856ca894b6f192f2d1732b859307b211c328621a55c134cbedce1907f506641d36593dcd313a28beb22066384ac90 WHIRLPOOL c85caf73012800110ff9a4d190a6edf94fb42045d534e74735eb6febb85574cb051ffdb7d8dd3cd3f4158b1087d081812d945d4ccd5a2777158483265b1524cb
DIST hasufell-binhost--sci-apps--z3-scm--C.6231.1505213768.759416.C.tar.bz2 17362233 SHA256 ac9883b7aacad9e6ca42d95da27221afbb878941adfe664e51e323277abf9813 SHA512 8bc70d987297e0815dc5242573b6c583706dbfb14b76dcf84daedff626e5326b2cad67a08c5ffdb060b6a4f7f89d7c334c054d5ba29fb914d4ad1afeb9f57adc WHIRLPOOL 503958f7cf6b457a24db3508a308bf4038a06dd69ffb88ae36e9945e3a45448b07af6c11c701eb34ba5c198ec351cec223cccb9d7e84469cae532e2c862fe8f8
PBIN z3-scm.pbin-1+exheres-0 1922 SHA256 6ebd65ef2063c0cd297687196e38ce87aeb32366631a57f8f428bfc34bbe20b4 SHA512 6b3e41ccfe02862c0dc6f24d1cd3cd0f996e52090b206701666f51e05358ce88f8047271313ac7f9ce1f44f5c59d3ec9352e63ade5c77de3002f36461a4eb70e WHIRLPOOL bf2c3b4903ccbb48df48030d2ce3ec3491ce780dd5a4b6f1c1c22be096b832a9a4ed4409237e3e9a0065026407fd4c4041da4c5d4373f442f30057ca49d358f9

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

@@ -1,4 +1,4 @@
# Created by paludis-3.0.0 on Mon Sep 4 16:21:51 CEST 2017
# Created by paludis-3.0.0 on Tue Sep 12 12:56: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="1504534911"
GENERATED_TIME="1505213773"
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.11222.1504534907.686357.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.6231.1505213768.759416.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="059bad909ad4b5f0b70378970475149822cccaa6"
SCM_REVISION="0daa303255647e11eecb9c552b25622bd20676b7"