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-03-24 01:01:56 +01:00
parent 82549df616
commit 24ac0fd91d
668 changed files with 4905 additions and 4905 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.27443.1518648281.579033.C.tar.bz2 17754130 SHA256 14e8bc80d5c02a01da2d5f30cf785649624127e82bcbce80e37518a362d24970 SHA512 2349e8aad33154c99d019cccd6820711a2ba68e7cca89e616c4f1c3fff0ff81a84ac6d2ad5f48fe2bf9ab895921e956532a2b9d2d1648786ce719357a5ebc901 WHIRLPOOL f28873e0cbd86246d4757673f5a58aa1847630c6f8c88d85d3721ebfc1565148c81d7df6c4e400c8611318b9db4530773108fe99a67caa60fe95579f6f02f059
PBIN z3-scm.pbin-1+exheres-0 1922 SHA256 03679f89f5688c899ac022626df8695e775ceac3e589fe98c543e7874ac4d1a0 SHA512 fc07c3d9966450fcb154dd51db90ce9838deafcc63c78fd1e6b698164075a4cde79bd297ae350c4540a062088e9788d685da82bb519f058421831f9db0531208 WHIRLPOOL 3eac230591a9ebff2d55df365fd0ad884ea65e394a3a7c40546a7809a412250e587085e7bbed7827b93ff06c4dbdfb20681109dbc86c7baa0d13c2616860b1b0
DIST hasufell-binhost--sci-apps--z3-scm--C.6040.1521822997.596251.C.tar.bz2 17772781 SHA256 e1fc3f0f77c3dd18afe2f0b580d17cf66b22900f29b2612779307fc40067a67e SHA512 4cf4bf6b66d113449d249328f58091081a2f1327774001a3f95381302b4feae3207fb1cb3a5faea0587519e3197701a4b7ed1ace6d470ee3c81bb9c7cc017f19 WHIRLPOOL 8c0bd5f1732dda74ce2fd46c065bad86038c8bfcbeb941273e23337e14f908d802bd477ae21bec961e55e05b657b4900cc4de5eb7c80beb931d23e865dfe1e96
PBIN z3-scm.pbin-1+exheres-0 1921 SHA256 c2602b680be324dab81e0867a4c7713f7d13a4c440aadf7d682e22c89d803b4a SHA512 1b7a3a33c0fee9085596c53ee26348acee50529f77b51719817040ec8ae5bd16f4bc41d62a1cfc8a80eefca299e97aeafff8dd9ff58f1a6f1914155bbe6dfddc WHIRLPOOL 13bf5d1dfaf494920e233531a5be5f87967de9381cf763cd3ef9e4fa4b5af22c4d54291eb245e062ea167b16a724003a245bc034907979786303f3ebcf8ec3fa

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 Feb 14 23:44:45 CET 2018
# Created by paludis-3.0.0 on Fri Mar 23 17:36:42 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="1518648285"
GENERATED_TIME="1521823002"
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.27443.1518648281.579033.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.6040.1521822997.596251.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="1323b8f63f21f40b7a264140ff84afa3dad989c8"
SCM_REVISION="705439cb85d00453a2f3ed446d965de34393688e"