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-02-22 17:59:57 +01:00
parent a50bac08e5
commit f011299f10
112 changed files with 527 additions and 647 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.10946.1487069879.712815.C.tar.bz2 15917905 SHA256 3a90c80be11780f6b4e437a921855776f74d3147ce1ce25d53da66e4e6ce8278 SHA512 ce0d98185502b2afe950475c0e2ea1e83cafb010c40732baf8633a6da0fa65e081fbf3601b46d5ac910963393e28f0656b1e21f50a7a3068de055e0b46d92d2d WHIRLPOOL 5a7fcebc0fc478c73ed6ae8a5d8a5c5345ca43ebcf35453105523fb1afc1ba91e06d67b7f9981abb3ca9cf083bad2bd9abb83f5212c0d46d797f6857b2d56439
PBIN z3-scm.pbin-1+exheres-0 1903 SHA256 7ed81932d81779282ffb93dee5e54b459e63812f185dc59c85027100734d6459 SHA512 0103648776434a668a9d3bb4f09251d5f94827263631f40be352f8dfe73ea844556303df251c04c00509b79a3c8bc473b16c59f9456cd1ecc20bd1cad766a96b WHIRLPOOL cccd6d5921060033d018f9eb0cb509bfcadda84af51cdbad01333e9acfae29483b32c5e8e8a41182e40b52a6e5016c07c51ce0f65baff4aa9af32124594ddaad
DIST hasufell-binhost--sci-apps--z3-scm--C.24619.1487771411.217711.C.tar.bz2 15918793 SHA256 1db863ec5da555a6cc42f1d022d1f4a52cc11a4bd8c056a9af5aba7f9c844726 SHA512 ef591fa1e0416d0ac0e521cf980a7c76f2b578df673a652e8933cadbff392c7eeea8eb6143401df6827318d6dacdaf7b64f151f6a6666550f9686d99cb9fcdf7 WHIRLPOOL fe3fa6ac80f6e44eecef1d730d0fedf94e61058495cfba7af5aa885f14fd41dc063f7fff740e69dcc63072ff4dd79705eeb58deccf25aa7e301722b36d211b3a
PBIN z3-scm.pbin-1+exheres-0 1903 SHA256 6365874c6074653c91ba46133ceba961fc4acfa5a42d667b2fbb3a9956cd0fff SHA512 2c78ecc39e0293e6ad04c802e084635cd6964be63d9d2df953dfe7fdbc3ed27461bc1e4241a892ed62a74cf311bc0f11eb2697623c3385f96c6522f7f45b66f3 WHIRLPOOL ebfb25b29c64d02aaff7e2c627797bcc99baf8d85d177d247db1bd6f2112b95182abfc35b8c782ea321c561dba4690f7949a17154a54d18f749282277c17e0ef

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

@@ -1,4 +1,4 @@
# Created by paludis-3.0.0 on Tue Feb 14 11:58:05 CET 2017
# Created by paludis-3.0.0 on Wed Feb 22 14:50:15 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="1487069885"
GENERATED_TIME="1487771415"
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.10946.1487069879.712815.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.24619.1487771411.217711.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="6fcba26ea6c695628fa701aee0e8cf78141ba8d0"
SCM_REVISION="c67cf1653ca51d47bee7eaeee43bf3f8e5f3e3ea"