hasufell/hasufell-binhost
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update

Browse Source
This commit is contained in:
Julian Ospald
2016-12-28 12:05:07 +01:00
parent a2945ba2de
commit ccd860640d
50 changed files with 134 additions and 214 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.28521.1482096916.250600.C.tar.bz2 15909719 SHA256 654174ab1c31ab2bb62ceddae51cf9d43a898a1ced05e911c62c84cf9ce33c5d SHA512 1015f85f6b2c233f9fd957f51d75d5f7d4915062250d885b54cee6ec4fdf5b32d0ee53b33c5d70c47dcee2d093d316d4723b8bba7fa14c843d3b50817daba94b WHIRLPOOL 39c7ff7e21fbbe30b7f8b2058ad22c4b8f4d6bf3d0d31ca5c3c46c6a1ccbd1258790842ccc51d27596a6164c7014f475687dfae81b061c439940bff3a21f93f3
PBIN z3-scm.pbin-1+exheres-0 1903 SHA256 b551d815fadaf8418a3d456538fafa72d063456f4b631cda1c75bca5f4517ad1 SHA512 f6d93361564ac248cdd29c405dca150a273920271ffb579b13277c795952cb7cf030fcfdb689d45f08e0b3c53def7618aa00210077720297bfcf68b6b3ed870e WHIRLPOOL ecc4075137008d89b19926f0face3de85477ab491340d5640aa3e733dcbf65c36da865b31860721e7595eab2aa9be53c33d715b699f1461d5997f1314f2e701d
DIST hasufell-binhost--sci-apps--z3-scm--C.8861.1482921525.469704.C.tar.bz2 15908946 SHA256 8af50af846d82ff75f8221982050665de819df231933317107afbe870b3f9db7 SHA512 2f5fee209ea34d2235b7ef918e456510e52625912f6d52365623d3829aa744886a6cbaa63344d3462053b3f412e9a22633954e3202c31bc05f22e638373db4a8 WHIRLPOOL 262821afd7d3708fc9647f7be24f295145c5ac45dad6f8f332793665ac20a345088847f840dd8aa3cf1786b0d0c58be7cadf54cad6b81c848214d7a375fd6431
PBIN z3-scm.pbin-1+exheres-0 1902 SHA256 e83c08aca2fc76e34074397a84ee888098d7923f3aa74ecbff2e7e9825f9a4da SHA512 0d37995d1c254e213a5f8d5d8681fdfcc0d032494dbb7a9faf6c836176d18a744b4ca855f1814ca24de5c3571e5cd54107d0b8428a46c53257c17e87520dad6a WHIRLPOOL bdd321b210cb2f9c7b3e918ed6f162f28abca63c913a4a8ee11970c3fc5157ac3dec846f79fcb08a8ab244b073949f21cc4b5ad69989951348ea65a7e5694017

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 18 22:35:20 CET 2016
# Created by paludis-3.0.0 on Wed Dec 28 11:38:50 CET 2016
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="1482096920"
GENERATED_TIME="1482921530"
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.28521.1482096916.250600.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.8861.1482921525.469704.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="5083b1adee9d864f237ade1c8c40052673cbbaa7"
SCM_REVISION="8dde60f6345bd12f3222546dd41ca9a22a6beee7"