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-02-14 14:18:43 +01:00
parent 0c71380e79
commit 26c367c61a
195 changed files with 875 additions and 955 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.18380.1486053195.323881.C.tar.bz2 15895721 SHA256 25980b1120607d05cba1d8b8f08901638447809a5b77fb1ebe24824f745b967a SHA512 ac2a31140f7e758e2a8b8deef5d93805dd77b093018a5c6b9e3f208a4f88c8eac6b8b2cffa937daf54d79cd5697ae4f7a2e9aeec8965a8368507339a9f25af18 WHIRLPOOL 052f36018d3894cd382c9dbd39092ee9502a7bf235a8d6b05e06b139b28dad46177f4fb3d8b0dc9f687aa49f8a0db6a48a6f4eb23551ca36b06924e35a46ad72
PBIN z3-scm.pbin-1+exheres-0 1903 SHA256 6f619fb7e0f14f56ddedc7fb4638583515252b48e94d32c5f5918821cbabfca4 SHA512 213d07f35acbaf3b81475266870e70f1e3c6935dfa307162747a1a0b0982b89f1cb34a76ae184fdafcd1b599d21c367bbc6bbfd9196a58fc38a707f7f0035195 WHIRLPOOL fde8f0f7c848fd9b421dca497c8bd9b677bad7eefe7816e8fb2511f354c930634e826a6725acd449ea5aa34b010c0abaa2719c9ee93f4f0ccadfcf5d2286c6fc
DIST hasufell-binhost--sci-apps--z3-scm--C.10946.1487069879.712815.C.tar.bz2 15917905 SHA256 3a90c80be11780f6b4e437a921855776f74d3147ce1ce25d53da66e4e6ce8278 SHA512 ce0d98185502b2afe950475c0e2ea1e83cafb010c40732baf8633a6da0fa65e081fbf3601b46d5ac910963393e28f0656b1e21f50a7a3068de055e0b46d92d2d WHIRLPOOL 5a7fcebc0fc478c73ed6ae8a5d8a5c5345ca43ebcf35453105523fb1afc1ba91e06d67b7f9981abb3ca9cf083bad2bd9abb83f5212c0d46d797f6857b2d56439
PBIN z3-scm.pbin-1+exheres-0 1903 SHA256 7ed81932d81779282ffb93dee5e54b459e63812f185dc59c85027100734d6459 SHA512 0103648776434a668a9d3bb4f09251d5f94827263631f40be352f8dfe73ea844556303df251c04c00509b79a3c8bc473b16c59f9456cd1ecc20bd1cad766a96b WHIRLPOOL cccd6d5921060033d018f9eb0cb509bfcadda84af51cdbad01333e9acfae29483b32c5e8e8a41182e40b52a6e5016c07c51ce0f65baff4aa9af32124594ddaad

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

@@ -1,4 +1,4 @@
# Created by paludis-3.0.0 on Thu Feb 2 17:33:19 CET 2017
# Created by paludis-3.0.0 on Tue Feb 14 11:58:05 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="1486053199"
GENERATED_TIME="1487069885"
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.18380.1486053195.323881.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.10946.1487069879.712815.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="9cfd412cd0f2fbc389eaed51cc585604304f143e"
SCM_REVISION="6fcba26ea6c695628fa701aee0e8cf78141ba8d0"