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-08-15 00:49:47 +02:00
parent ab9d36f797
commit 8f28c3ca4e
102 changed files with 443 additions and 443 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.19288.1500764785.852131.C.tar.bz2 16707701 SHA256 ba2b7e9b437258ebeac3cee7b4aa3596665341e704403249214c21dfc099520f SHA512 b1b65a7e995d8eaac6504583610008c3affd9b74701b3501f9c20deb7f953cc066ccca9a80880b7fbfb778fb3590d15712176348d432a63c517304bcfe754fab WHIRLPOOL ded75dec0b17f647faca866e91f15431ab3e0c8199088651ec1b4c5f6dbcfac02c18b9e244da9a4e913181768d92ed1776afa3eda9a3a2896eab9a435dfdf025
PBIN z3-scm.pbin-1+exheres-0 1923 SHA256 77b97d28765fc7f5ebf00b75de8e1077d1d51c7604b53c060acebda79fe0cf60 SHA512 7a15654f890931f544e34c94320c9bb53b1f0e46b276fc65e8294769820a1fd1b6b2eda0c7c1905aabc01e69f6b9bcb1c8f6ee98d0a26c8f753a4a54fdfc41dc WHIRLPOOL 74afa0570f1d74597f7bd62a4d9c65d40dc32cd1da9be8a1fe04448e7e0cbd652a99fd9f2813728c0d725fdf253dc75f25d99705841c56455191b835c5311f0a
DIST hasufell-binhost--sci-apps--z3-scm--C.14573.1502748722.255539.C.tar.bz2 17331181 SHA256 a6d30d30c370abf33a5095ef598ad69fcf27a13fb79f910e6b3ad85d375b0f3d SHA512 662648a9075434406ef41a3d855faa02b9f67b3e35c2d41ab4d7c414d845de3da0da94065d15d43722cbf069e5d90e819848d7bfeba7668f4c5805f16362065d WHIRLPOOL f28e8981f435fd6f7e9cb49f103c95685308b78e334f8887e5a7ceab9918b78b6f4f8a3428a5fcab09ee4d63c3896317718c381b529fa8745f61b165949d4fad
PBIN z3-scm.pbin-1+exheres-0 1923 SHA256 a5b5d688bb921466fc7b8db0818daf0fca5bc4c9ad47f1cb03bd36487b97bfa3 SHA512 bb35fd120d8485d823723c252bd623f113704192a501237bea13fb885facffa0f60d3b331bcfe0d0470cacee5acb37def3bee8997a651a94bfbe2fc38dc76f2d WHIRLPOOL 47c9bc2c3a7ec1168a0c72aa945d8a6eace96e6117f69d1dd4022dd03f3d4f3a46021402a46f9f169fa526c0282a01d95b8bee1f922c5cb1afa3807179e6936b

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 Jul 23 01:06:29 CEST 2017
# Created by paludis-3.0.0 on Tue Aug 15 00:12:06 CEST 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="1500764789"
GENERATED_TIME="1502748726"
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.19288.1500764785.852131.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.14573.1502748722.255539.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="0f1583309d0813e87d6003fe46cf8bb32899d773"
SCM_REVISION="4b00bc636bda344ba8ae7ea28a2d5d949d4dc629"