hasufell/hasufell-binhost
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update

Browse Source
This commit is contained in:
Your Name
2019-12-17 07:15:18 +01:00
parent a54112e1bf
commit df956e4617
576 changed files with 3850 additions and 3370 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.4871.1561814613.585255.C.tar.bz2 18720703 SHA256 c01e3447f13b14025f18f449e7f24bbb6db04ca7e7dc12886aa7dad64434f0b7 SHA512 4721c100b1e3edda9b985524857371fa4398d66852274e31af5283956a0e11777b3a51b65cb26cd8a83773d738429ab7372d359ccbe4640f94501d059f21fba2 WHIRLPOOL e3af103a32a8770e3e78a4a4ca4cb8ae9f62d6a39bd07efb0ec35d46b72d76871eccc2880f046d6255493dfc9112726ce23cc0080fe381a143cf77539e787014
PBIN z3-scm.pbin-1+exheres-0 1941 SHA256 8f21b0968d8e46c269c082f1e99b9a49fc13dc24607a7520860da104f42fd534 SHA512 3efc632577d902572f5982548c8c61f068388d7579a3e5ab9b5014f40f5a25644b3df5e69dcd349b621ea9c3461678f738263f9ae7edfb6d965b453abc5d434d WHIRLPOOL 52519b3e55d13fb3cf8be33d7738d95ba5260e3544273bf2a4f7ea60ec9039b3037d4ac211af1e193ac5d96bbf400975c581d9b9ed24dbb4037e958f0ad8bf52
DIST hasufell-binhost--sci-apps--z3-scm--C.8432.1576530076.511240.C.tar.bz2 19026082 SHA256 174c5df7250fb83f8729ba06f0acfbe9d2725642f97dadb8fc56ffea09da83e2 SHA512 7612def8de17bbef3b4f6dcd177527cc2e4d0a512acf6ab239faf8f45870fd887f034fb6e79bc36b8cf654905e20f49e6eda8f29a756c3f1f3fdd327176239cf WHIRLPOOL 1a8a51e121c4d77eb7d8848fb41f00dd4fd4650bc409907a30744b85a846199c959406cfa3ef2662f38621661c968199595be50e85bc045ecf29d33de6cda970
PBIN z3-scm.pbin-1+exheres-0 1914 SHA256 5e996b89c1bd849559ad9b8a35463b8af9a69f72220873557aaad934fcc496e2 SHA512 28cdc54c932f18e9c9dd26e4a94bc8baee88fde36a06fbc905fa5a12736df37611fd600ce672d85eb77aec96fe0d0c59620f641972f3bb22ac59a4c327058452 WHIRLPOOL 74f00f9b20a67f6a0a2456d20d29b94401b65b6bc0ab31729f7e73b4054bda1cc53abf4cc4b2e0f2f2089c254a9e448e095e2b775e2dee534622f2bc1e67f729

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

@@ -1,4 +1,4 @@
# Created by paludis-3.0.0 on Sat Jun 29 15:23:38 CEST 2019
# Created by paludis-3.0.0 on Mon Dec 16 22:01:21 CET 2019
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,9 +12,9 @@ SLOT="0"
DOWNLOADS=""
OPTIONS=""
GENERATED_USING="paludis-3.0.0"
GENERATED_TIME="1561814618"
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 POSTGRESQL_SERVERS 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"
GENERATED_TIME="1576530081"
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 NGINX_MODULES NUT_DRIVERS P2P_NETWORKS PCSC_DRIVERS PHP_ABIS PHP_EXTENSIONS PLATFORM PLUGINS POSTGRESQL_EXTENSIONS POSTGRESQL_SERVERS PROVIDERS PYTHON_ABIS RUBY_ABIS TARGETS VALA_ABIS VIDEO_DRIVERS X86_CPU_FEATURES"
HIDDEN_SUBOPTIONS="ARM_CPU_FEATURES LIBC PLATFORM X86_CPU_FEATURES"
ASFLAGS=""
CBUILD=""
CC="x86_64-pc-linux-gnu-cc"
@@ -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.4871.1561814613.585255.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.8432.1576530076.511240.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="8a129a3e6f85fa337eb7e55504ddf543828068dd"
SCM_REVISION="c560ee54e8a0b9b6aca78e41dbfc1e348af6db3d"