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-12-17 17:30:16 +01:00
parent 20ce34a98f
commit f2843e6fed
142 changed files with 654 additions and 534 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.28887.1512833865.600692.C.tar.bz2 17523930 SHA256 76a4f6fd3b6f74f90aab28a04bb7dac93ee81f9b7d635283886239dc5815732a SHA512 0ab5e1fef986514995aba3061fbba491c0aafd8e367b4d00ff76d90cf3f4248acdefeeb4e96282b8d2118912f3fe347a9543decdfb4771f29f147c55d05dbb2e WHIRLPOOL 1649d41121716bf4252505bb55e29d75f4875e89078a13d150b2dcd32065422dead060ca9bec794339ed37855090c764237780b8fbe79db28c82b53cec2278e6
PBIN z3-scm.pbin-1+exheres-0 1922 SHA256 ece2ef1a732b6f97a86a8845ea762270aed75d0b0d42bfc1875a4357f0beafdb SHA512 0eca51357c5ef2d3777838262d8d8d0519335f900729c29483aa9e692cd3beae4798216f4c3428ff56ebd0c40cb2b97f87da7fc118daa846599be32818094fb0 WHIRLPOOL ed4c36ccab1cdf510c6bc9826dffefcbe032a52fee428180c8e0ad044422e968ead108f343773d7ba4942f8ef4446e4cfecfddf7ef9f906ab5887adb7fc2f843
DIST hasufell-binhost--sci-apps--z3-scm--C.26797.1513523258.749167.C.tar.bz2 17737678 SHA256 802ec5dc01dafeee4433be6911ee4dc5cfb1c99163380c122a7439b7553ca72a SHA512 ade431e6fc202501165c2235a8b8c8e24e3bdb445cbfca7c50ea3fba573967b00de39a1e3c2f3f5dd8824f3167780b4a80835b960f4cd5dbe829ace85ab91ca1 WHIRLPOOL 52abb09faae9ade8d61beffca4c4c0be86719e9a420a8fec34db3dbda18ff8d45d5eed0ad2301ae88aadf8b1347a0b0ed917a6d8fc20a0641b6477dd259a3ff2
PBIN z3-scm.pbin-1+exheres-0 1922 SHA256 d6a817d6c830f970ff10954b3c36dcaaa3b851d889c644c30cfd7fe099d18aaa SHA512 bbdb5b2fbc7128187e1d2f254ffbcba7d7943800239dc893f54bacf8f07295a0a02322ac90629fea871babf2b67873c2d1cdf33775e84ee4cead0b35c52de0a6 WHIRLPOOL e4c3880b6787820dcf5e712e582cecc32905d2f2dce3ad50a9d9ee2bee7cba592efc527e1d3a9fa209163ebe47e12ce1eca4ee345ad09e9d055453355712fb55

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

@@ -1,4 +1,4 @@
# Created by paludis-3.0.0 on Sat Dec 9 16:37:49 CET 2017
# Created by paludis-3.0.0 on Sun Dec 17 16:07:43 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="1512833869"
GENERATED_TIME="1513523263"
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.28887.1512833865.600692.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.26797.1513523258.749167.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="faebbc5384dae4425d03fa743587303a83839296"
SCM_REVISION="c3add4eeda15dd44d8afe7423b0037dec34e9c8d"