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-07-06 02:35:09 +02:00
parent e57fb271a5
commit ee4e24c5ad
410 changed files with 1822 additions and 1822 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.28661.1498351730.50417.C.tar.bz2 16686065 SHA256 9551130353cbc027f1163764c1cc3165b68ecf7aa8a507325744c6b613380af2 SHA512 e4338951d585d3f6edf98ffa9a599f4be0485e2e98e08bf258ba61cf9323f2c1612a84c6cff5db6daff8c47c9e91d66c1d72bddea80194a32dc5e00e11f83718 WHIRLPOOL 34a11929ac39f0fdc37c0625b30969d268f90e28ede4c72eeafd8f5dc528c0a85e61966aeb3e39d4f2752170979557be3bd78cd515b001623e2969b392357a70
PBIN z3-scm.pbin-1+exheres-0 1922 SHA256 2b2e6f570d82a1543141f979033491c989111cda80b86f81fec729dc13656a38 SHA512 6f6182c3856f23a17b443ed61d79ffbee15986344d5c0ca791b2ab44208064b5b5058f923e3b49a0f109ccae7b0bdbbc2c862462c6a415995a478dfdff962b16 WHIRLPOOL dc99999a16e928b4baf38a82a9959367a69789ba482dbe313723b872602169626684fae41cf0ea0358a49fd7ff0f7d5d0b5f06669d4675700d8b562979172a4e
DIST hasufell-binhost--sci-apps--z3-scm--C.403.1499273167.22602.C.tar.bz2 16695430 SHA256 9c3db8d1e77d1035025f8b7e75b9b9507e2a83ee73615b6697e81a2e67114f92 SHA512 9d958742313586d6567bbdb9e3e9c7600b5a13c43b6c190bfcde41cd88791e811f51b891aa73f80f85c329a3851be714ffea88943165f2ea9b9d35c30383cb34 WHIRLPOOL 682ea8f0120a4c43cd7ca6b07cbb9bd65296f0219f3e699d24f701d36cf35c85805d7e3d68302a3f8d679c15101cbebec70c263ff56d09deacc49390c835cd1b
PBIN z3-scm.pbin-1+exheres-0 1920 SHA256 e1597f165156c9f79528b1e5aabd6211cfd7e84049176163c918f6cef2394739 SHA512 daa393ce1dded7e4dccb61b50f6d0dc6606de8f3418cc86b34e5d1456621a0b6a66b598bab86fe6ff3d670778e82be18bdc88a9cc153ae7046afed7534c1f990 WHIRLPOOL 67655b0a76bdb215ca2a5cd9dc4f6694e88c37cecbacdc462d2affd5659c2677ece22b47e68786e791f666b7d47f4255f55d9bf2daea0105a97d1569605b754f

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

@@ -1,4 +1,4 @@
# Created by paludis-3.0.0 on Sun Jun 25 02:48:54 CEST 2017
# Created by paludis-3.0.0 on Wed Jul 5 18:46: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="1498351734"
GENERATED_TIME="1499273171"
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.28661.1498351730.50417.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.403.1499273167.22602.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="33d8b9b798f8d6f39373855d111403c202115109"
SCM_REVISION="41803ec1cf280ae9634389d17f99bf69a2b597ef"