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-07 20:07:09 +02:00
parent d28b5a3432
commit ed9972fa44
79 changed files with 374 additions and 376 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.23748.1496087048.549965.C.tar.bz2 16681018 SHA256 dde1afc11a1b1770cdd1a23c5f88b4e69df1d2a1df950d59b38ce87e539336c7 SHA512 105b0d47174c6aab94bfa230ff16c08946b1c93702440b3456156d7bce6543b370e61fa3b24a5d257853bfb7d96c80d7ca2808fbb2691278cb9bbc0465b55348 WHIRLPOOL 0d496eead5a792029c540b32bd97a24aaa11ed6c007fe94acd124d63a1261284c9ede2b57a257e1f86874df7215e458f1031afc8a69510624b41b5b5bb2b0835
PBIN z3-scm.pbin-1+exheres-0 1923 SHA256 779161cd846b468cc33f6adc6a9ad3e6fdec005ccd49c5fddd8dc688661a0f96 SHA512 7ca861239df49772c0b66f78e5dfe39515ffea32b2d79f927632ee8909ca3c28b2aec29f4cfefc6b3783cd6313bfd1863974f0448500c4036cb34aa3fe35ff04 WHIRLPOOL ba0c4b6e0dfb8ebddb26be07cc5a764a07a1ae6c26abf0ab11452da699b428fea05ed334df85a95fced2edaed077f94bdf983f2b14706b9a04f4d65a29c320ff
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

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 May 29 21:44:12 CEST 2017
# Created by paludis-3.0.0 on Wed Jun 7 00:36:11 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="1496087052"
GENERATED_TIME="1496788571"
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.23748.1496087048.549965.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.29772.1496788567.672606.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="2de80b5ce9ed768976d448fe0f8f69edc2aa21d2"
SCM_REVISION="01371046836dd4073f4bbb7f1f8b64861db7f739"