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-06-15 23:58:12 +02:00
parent 46c13664fe
commit 6ba1cc1465
168 changed files with 858 additions and 858 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.29772.1496788567.672606.C.tar.bz2 16683418 SHA256 b768d5f814f0591bbcee6162181130f2f9db98dcae116a17dde223ea05f02470 SHA512 222632be3772d4bef29ecd353b45db63cac739b0ef3f401e35eb50910a61205e04f4fb6f43b794e1618dbc12152af553dc3144ce8c3f3e1458d3e51e0130f10d WHIRLPOOL 4bcf66862bd70d4cbabd7c4da001e13fa4d8d95db98a2f197bc9dd09be176b0c338cccb5ae1619806306e31a168f0f0d13b25321ff57678ad49d4139556da100
PBIN z3-scm.pbin-1+exheres-0 1923 SHA256 1c780d0a9dee75783abe4391a7f262387f87aa0de568622faed0d8ed19f9eab2 SHA512 2b1172d296ca768d0b3558471f976b3c930929d2f9f706b5893658bf6a1f2201056528052969b41268096e38291ab1b835645fe2b3ae24b2650a51360d1daf38 WHIRLPOOL 0ac3bef73ea9d4ef9206d8b24159a5379049981afbb3df7e579a681596319bcf1aacc019f08c8cac0dd0012ae49d64bc1bd593d1848d6fe7f4c0c82aff2d0247
DIST hasufell-binhost--sci-apps--z3-scm--C.23932.1497554349.356399.C.tar.bz2 16676333 SHA256 23e250714a7d5fcef0c31e23a6f75a3f2eac155c11cea5f11c7f82a197a340d2 SHA512 f6ebd09e62142c3368d2cf0de7959f524eeab6d7bd47765fbc9bf68b14d27630048491d7cff45806a2dbf828e0159986be68c6016f023f6e750701e8b1a53450 WHIRLPOOL dc1d59ec752d4f1fe672914cdd7c5728972415ec77dc229a669e3c6a8460fcf38d7327612886da469f01a1a321d998d45af3e48739f7370af9b0cea11d5eafca
PBIN z3-scm.pbin-1+exheres-0 1923 SHA256 58508d6b7aede734564709b4fe68aea332650e1d7b084974af08ddcadce69c33 SHA512 872b1ccf0b59c255c1d650b2033d16cf6dab3db3af081df0231633d0241db824d6442091a25b0ffc23146732153e743be1dc40a40601decd2680f83beca86566 WHIRLPOOL 1dd3499696e1003e686644095bd34af1d8c261b1d92883aefb88775c1d34ec64e8a886dbe9f16a0d199fbd30983d59cee9092f8fa6ed9c41f2311f8f8c036c7d

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 Jun 7 00:36:11 CEST 2017
# Created by paludis-3.0.0 on Thu Jun 15 21:19:13 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="1496788571"
GENERATED_TIME="1497554353"
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.29772.1496788567.672606.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.23932.1497554349.356399.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="01371046836dd4073f4bbb7f1f8b64861db7f739"
SCM_REVISION="d3320f8b8143c64badc1a291fd210bb4aef96693"