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-02 21:16:20 +01:00
parent 382523c654
commit 6f2a6926dc
342 changed files with 1951 additions and 2110 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.31276.1484227905.586314.C.tar.bz2 15932576 SHA256 98e7b2a1dd1c62a45786c0563b4c3ba343d924e478fa15b288fd326e9cefd194 SHA512 73f733ce81da8fb902cb1f9beca4033053eb2dc5bbba8f92b4f85de8d03abe8dbcda26009bdc28e92609709d46b5d285c64b8daddcc7ea54f3394f6e1d49b1ef WHIRLPOOL ae8ceb1f4c88ac280c1ef16361d65f926bb1d5513b5f97f5ab75c4fb249a510aed366d1697b26b30c2b5f35bd202a988ff67515d9c79d18bf2384d2a46c1f8f8
PBIN z3-scm.pbin-1+exheres-0 1903 SHA256 df921097796241d04831d987c76fc8a2103db2cea40f7282c1e9acf8b1e6b7da SHA512 1b714de6960ba21842242fa8d13bb63deca255a1e12c87f712212f8fbfa096970025489e0628e163c2d4d8ebe4bf0c8bc77446bbabb28ed6ac142ddd5d8f7547 WHIRLPOOL 151042c880c42ad17d63521ddd33d82a517ceec13d38d9bb5380c39848bfc624607770a62aaff4ef5843899a0e02ceca154e13a33e0369c1baa45dee9725cd0e
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

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 Jan 12 14:31:49 CET 2017
# Created by paludis-3.0.0 on Thu Feb 2 17:33:19 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="1484227909"
GENERATED_TIME="1486053199"
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.31276.1484227905.586314.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.18380.1486053195.323881.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="f1a4a4849199db0d232056c085a2c3c4e2817866"
SCM_REVISION="9cfd412cd0f2fbc389eaed51cc585604304f143e"