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-01-04 14:18:26 +01:00
parent 113d408fc3
commit 1ffab8f661
29 changed files with 96 additions and 136 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.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
DIST hasufell-binhost--sci-apps--z3-scm--C.23920.1483534988.744580.C.tar.bz2 15913434 SHA256 cab11f9e92ccc7f1e0105552919ae45cb8c42ce99f241369fac814100f087679 SHA512 6a0472fe5f587450a36fd016eaed2c4d3e8a6c349a8899ebac0fdf13ba9624e9a6028a653aa1d42d330363b8b71d2db9052cdc81421321574ff38746f8e529a5 WHIRLPOOL f4d13751f6661d3b3a2547b027ec8a41b2e55ded86b240dce2d16e7d317c5f4020a1752c617b9bf5a0b06ce6c988976c78d7657eb8a6cc84c673c79cef20a465
PBIN z3-scm.pbin-1+exheres-0 1903 SHA256 48d53d48660f3652ffe71bc0e957495d92c795fed4bbf1ec2bee284dcab116bc SHA512 5fd73e92d618253fc72ea8ecf15e0b2f82e3013723bfb7c77c4fb008d2c9034c305ffff905146d25fa14dc3c2a698870be38312d419b740186b94e3035c7baca WHIRLPOOL b2b9a02297e4064b4e3437a86363aff8a2ec8524f94453dbfd206bdc244e614d21d65774af7109328f0d8e17e3c2f78b097ce11b47b34c0e1ebf1c8c6702dad5

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

@@ -1,4 +1,4 @@
# Created by paludis-3.0.0 on Wed Dec 28 11:38:50 CET 2016
# Created by paludis-3.0.0 on Wed Jan 4 14:03:13 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="1482921530"
GENERATED_TIME="1483534993"
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.8861.1482921525.469704.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.23920.1483534988.744580.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="8dde60f6345bd12f3222546dd41ca9a22a6beee7"
SCM_REVISION="cb75a55095bc33cce8da48d9f80910e36f90c3d8"