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-02 12:18:41 +01:00
parent 4902aad528
commit ad5e7ad661
42 changed files with 118 additions and 118 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.21925.1511569633.55014.C.tar.bz2 17604228 SHA256 9a3fa34a6fd3edb03a1eb0e730553e856b22a7c9652ce8e158a3cef9a8231d12 SHA512 cf2d7524c23b86c55eac211b4dffe22a93b8c6878150a3108a2fcb8683c07c6301d9f54f0149c58957a4f344e32f8d061570af214f68b0e9c30eb93ef41b6421 WHIRLPOOL 19b94124bdc707d6fe45a989b9bf225e98633e17ddbd184eb3d337a74f02d4e56207133e35ec846d40cec27091434cdc719569ee42e427dc2fc1f192f33f91ba
PBIN z3-scm.pbin-1+exheres-0 1921 SHA256 200af63414d7a6b8f9fc726cc0dc00ef883f3176701d235a3e191f3b493869e8 SHA512 b6a078d0865be6675236d33b657472e9877c9baa84e672b095e31889e9d6fb1adfb7df3397c9e12fddc35f337052b14414fd4918bc8a9ec787e8c8c1f9dd344f WHIRLPOOL 3626a691bb7b7b0c8e641dbd1770a37aa05780c7de56e69b6366d0aa1c70ebfbc57baf17d961bf043dcbd0eac18baa269d0713a7a35f37291f8a2508081d5363
DIST hasufell-binhost--sci-apps--z3-scm--C.3146.1512212517.981655.C.tar.bz2 17608090 SHA256 684774ee96ad7712bfc362425fbb6c5a6a75f13c8352ca7c6fbeab848ed595eb SHA512 3bbe25bd190e266a218c140b03938cb4d36033af50ef8553e353b148640583d53c961d3a913765eed5b8cb29fbe5f5406fedd64255381d80fee077a71e0ce21b WHIRLPOOL 82067ce2d991023baa2d240cb35e8226a43905a54089b2e70c715933afc9e163cec1427fc087b2015a24f78ca56b17a1feff71ecda2fecc87da5712e93a61c5d
PBIN z3-scm.pbin-1+exheres-0 1921 SHA256 2f5616fc28a8d8cc82f9866603fba681ba80614ef1d914c2fac3dee04a4d0164 SHA512 777452ba5b0cbf5639cc46fce102baadf70e74d240e287acfe972172f8a2095e7844f2990f25668c9d6b3f093de03ace8f557847151882c798e06609d41efd2b WHIRLPOOL ef543b5bb1624e42e6ef83b8dc0961f12bf29bd69b9d30c181c00ed74029a1ffaa43c0e58b53b5e49beda9b6f5ce9ac4b360d543a1d703e0c28820e84607cff7

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 Nov 25 01:27:17 CET 2017
# Created by paludis-3.0.0 on Sat Dec 2 12:02:02 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="1511569637"
GENERATED_TIME="1512212522"
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.21925.1511569633.55014.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.3146.1512212517.981655.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="441c0de3c82b85fee1059f5592aefd1686ac2f2a"
SCM_REVISION="8357210d3cd9f03bc29c3d87e0a12a29a020afe8"