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-29 14:09:30 +01:00
parent 29b5fb1fc8
commit e96aad888f
59 changed files with 258 additions and 218 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.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
DIST hasufell-binhost--sci-apps--z3-scm--C.30848.1514550730.268493.C.tar.bz2 17737261 SHA256 8b8e8f3592669749b8a5085aa9e8f1a1b46efca2182d979ec270fb7c464135c3 SHA512 9c367e4ec53ba1dc66ae4b4938ffff8ccb5ab541479ee72389b526120e03f1bca82c63c9d7ee5a74178922c0224a8e75a671492ff4e73482a885cbca9005007c WHIRLPOOL df8fd932a23c1ebc8dffb354e8e1ea435512e63e2632fa5b65776024921512468ddac8b04b24aee435e6bb4e494b5588a9646b3f046440d5311e1ed4549080ec
PBIN z3-scm.pbin-1+exheres-0 1922 SHA256 794601c5f7db95f92512f141c68885d87fbb53ceaa3440a3a0b8bdc65684dddd SHA512 6446a57a3fb362adf346ee3285189cd020eafc51691a6da9d8a97ce5733eb6ae2ab710fd4134d1b5d988836470c14d058f17a0ce40dcfbd8f11ebb90edaaa179 WHIRLPOOL faca63ae31b36775489b2635e76084d5511b42a2d7a35617c1291eef219c72835e17986e770c0726927aaf6bc46aedf9b3621696ae63535f3966df686e8793a5

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

@@ -1,4 +1,4 @@
# Created by paludis-3.0.0 on Sun Dec 17 16:07:43 CET 2017
# Created by paludis-3.0.0 on Fri Dec 29 13:32:14 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="1513523263"
GENERATED_TIME="1514550734"
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.26797.1513523258.749167.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.30848.1514550730.268493.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="c3add4eeda15dd44d8afe7423b0037dec34e9c8d"
SCM_REVISION="4c949cdbac761730ea44656b69f66e11a8562393"