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-09-29 14:05:08 +02:00
parent 93c12fc70e
commit 1a009df803
101 changed files with 497 additions and 417 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.12554.1537165290.967480.C.tar.bz2 17601242 SHA256 919b6b78e97409a3a84fe6ae980022f7290c1334879e75bee3616ac5d2ec4517 SHA512 fb00022b70503574f7b290958de80494e72930313e8b82e43a1fc37bac5dee88ad23f97df28ee4cef72ded3a3f27920c5ff3abad67db6d29d0d4efa6a63dcb5d WHIRLPOOL ad21c889288aa5e34826ddd40b70b03e89991f9f418235c51f2382c573588eaa7283832c99af063468b1892049fc3e96e7c7c254041bc20f9cadcdfe32afa3f1
PBIN z3-scm.pbin-1+exheres-0 1942 SHA256 f579b145dbc9b5820f0b4bc99cd17794ab13473c6326ce80b7b2eed1ca8a5314 SHA512 c34c80cc509e7f04515ccdf13ac7515fba3baea94859387c40e6e7bf2e7cf85ee96fed580cc4ad9ec6882821f3a8ebbd3a53f44db785a6104ba1ca2ef739df47 WHIRLPOOL a85ac10ce2fef40d4cf06784053ae20ad55dce79cce0eaae43dff2539de6b02b4836b831509601f0d920ae7b7fdfa7989a7098e22a456e427dc59615bf240939
DIST hasufell-binhost--sci-apps--z3-scm--C.6853.1538218099.260291.C.tar.bz2 17592386 SHA256 09e918fc63d47f6e93d88c52d3cbdbf8f592fd68813ce73d8e3999208b88703b SHA512 29dd5a2f0e03353b795c5e391612234abb13f11d43f09527d5e4fe967f27d22587802f040118002a904660ffc810b8f5cfe825b4cb661391c8f3c8b8dd071cce WHIRLPOOL b12db9d35aeb3a2e59e91f2189a62fba08fa17532a79b80b71ea2dd18e4e7b239347e4fd741c878f880f3647aaaed62e8255487a0756ed6bae570c5b9f56bd2d
PBIN z3-scm.pbin-1+exheres-0 1941 SHA256 7c4e9685060e6af9ef5f0a020ed6c72c945495338e025254ec6a449e0bd371ea SHA512 2862e0e0375b71b5b047b458e0a752c96140ff1021847772c7f034a9c6a98f6149e6661cac06299bdb94090cd6e7dcd365fff1ededca1d6c03de3615da75ea05 WHIRLPOOL 5117a6aef67aa3e401a771a227e6977313c8408d5fe4fc5d1a15bcac94af14e2e65701448fe007ba990af18f91504a44785640971bfd2f84152aa6c8eae73fa3

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 17 08:21:35 CEST 2018
# Created by paludis-3.0.0 on Sat Sep 29 12:48:23 CEST 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="1537165295"
GENERATED_TIME="1538218103"
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.12554.1537165290.967480.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.6853.1538218099.260291.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="5bbe0508e45912787c177628c08c0ee1d6c6a3c5"
SCM_REVISION="6dcec4ce79bf4b63606b67cb45c934ae2abd8ea9"