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

Update

Browse Source
This commit is contained in:
Your Name
2018-02-07 01:53:49 +01:00
parent 4e5be05c11
commit 1525c1f882
32 changed files with 86 additions and 86 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.9809.1517233832.15115.C.tar.bz2 17736975 SHA256 5d4498b0e817bcaf940fc4a8b0444e397f85f07e62c1c2000625ad74d39622de SHA512 aa4a20575082f8c2c1036b2fcb89568b00b3d2ebaf2852d11ef3bf1b3c0f2063971ffd1f66110d48987ddceac096ed33da1c7826b1d5e3f6124e837c9bd384cc WHIRLPOOL 24572a5920e7f85db4f30d653559c2fc5f47bfd0e368e4951ead43634e5494ccb9a5458c6d8afded954e90fbee270abd2b3fca5ada9bc44c4647c58f425fd175
PBIN z3-scm.pbin-1+exheres-0 1920 SHA256 00b660528ec6281bf4e6c1a6c818ce1d312b6e2559fcd74c7f37e34dbafe8f64 SHA512 6bb3648a9c36b7a06e4ac75752878a8ce229abfb9fcc281f38f9a1aae88d94321bb4e1762a02a7f39bfe7ec872b3d4803f0482794d0c30e237b88658239ac919 WHIRLPOOL c57cf9987cb9176050e7f69933f976a68697e6407631b022c53a8d6af8ebeb33c12233d3d2c119ec42cd814bb41b53508aae9dd5bcc2e2852e7ae632f229db83
DIST hasufell-binhost--sci-apps--z3-scm--C.2852.1517964306.456601.C.tar.bz2 17753579 SHA256 964a7c9d7444a54741dfefd08d99261782321c72da2246dbef44d54359c05f16 SHA512 d0fc519a12e23453a30636afbfcc5057e917dc7b8fffad6e271c3168248118fda412086900804084210e6cbb33901f530c35b84af017d659572d12a3853f9dfa WHIRLPOOL d4cf721637f87fb8ba0f26620abd233024c9007e70296dea921f7bf207acd54eee94038e1bc34f538bca294ec85e1642802bfeeaf7c657e8fb04a509eefb9820
PBIN z3-scm.pbin-1+exheres-0 1921 SHA256 8bb855e6138c1e33ac9ef33f49a495c3c1b37632dfd99f87e5885a84fdc7d991 SHA512 cbbbb679892d3a38d8c907d2e9aa90ae426722e419484ef6c760fd3463d5332902e42b51e86cc4240bc05c533ac033fc1f2258d71b956eb8359a3ed9c0e1f4d3 WHIRLPOOL 656f58052afbd5cfce068c939e746ff6857ee88f82d8078aff1788f6d0886563ab1aaec0bd2cc5d3f727216a551e537d0024e5004482dd372f67d71e7a645294

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

@@ -1,4 +1,4 @@
# Created by paludis-3.0.0 on Mon Jan 29 14:50:36 CET 2018
# Created by paludis-3.0.0 on Wed Feb 7 01:45:10 CET 2018
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="1517233836"
GENERATED_TIME="1517964310"
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.9809.1517233832.15115.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.2852.1517964306.456601.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="2f6c80ef086161331dfc1aefe762f380ed1afd54"
SCM_REVISION="cb6896087dbb3a1746dd2d0e76dfe57c99804655"