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-09-04 17:23:17 +02:00
parent aa0793d81b
commit eabce06a2e
90 changed files with 326 additions and 366 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.24494.1503480703.786603.C.tar.bz2 17437771 SHA256 7d4be8a22a6e9e9d574167261e6bdaf4305a59e089ba58b26bfce6885ae2d261 SHA512 df4a346bffa4663a9a9d8541f52a7a4801868d952020b52192c704925b380b03a53ac542e268d7224869dd8ffb0467e7e19f4f7245179a08963c2f1e4fd97fea WHIRLPOOL b35be479d264058ee1050568509029c0b96f28ac58155ab731c43aa824f398460747b4dfaf26470ae533f819d721ce4476a22fa55eaf80b88d255a0b4f7522af
PBIN z3-scm.pbin-1+exheres-0 1923 SHA256 36263cf44137c6aec48bb84e70c47c7c583539e772b34ff392d5a2210b76ca02 SHA512 1dc60f0dcce0a85459df7ef3a093dbb8302648fe8ef3e9f2edeb358926605f10c6aa374e42e81b733f6b038653b6143f9672808756d1c6fbb51cf60d2d456b1b WHIRLPOOL aa19c35c48be644339e7e453c58b984cef6a93ccc48ea6bea5f42627c2f3c7974b034e79f047dfeba53e9ad3880a13805ad67db0d2be1b53123d4f8686707b25
DIST hasufell-binhost--sci-apps--z3-scm--C.11222.1504534907.686357.C.tar.bz2 17466452 SHA256 aaed84b725e023fa51b939bc547c72645a1d5464f36dc2b9b9dae515c4374800 SHA512 d1710359d6f7651e95e8227c14fe564cfa439a99ea20acaa67e376629491a4650e650feb83c3ce27ec9114d70fba59d347861addf9b945a2ad2b7504c372fb55 WHIRLPOOL 5912e4c3226cee542e1dbdca6d74b423433d4b4cfda685f8ed1e4d06bf4c60e5fcc498fa1b26d0472a5ee41f82037162ee05cafa92a942e5c06707d474a12fa5
PBIN z3-scm.pbin-1+exheres-0 1923 SHA256 e80c3c23ae306cf03c39c1978b49daef837bcfd5ccc0bd8966aabc7b7ec29d1b SHA512 efd3db59c8d01e9b9f0c9c89a25576c4f6d856ca894b6f192f2d1732b859307b211c328621a55c134cbedce1907f506641d36593dcd313a28beb22066384ac90 WHIRLPOOL c85caf73012800110ff9a4d190a6edf94fb42045d534e74735eb6febb85574cb051ffdb7d8dd3cd3f4158b1087d081812d945d4ccd5a2777158483265b1524cb

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 Aug 23 11:31:48 CEST 2017
# Created by paludis-3.0.0 on Mon Sep 4 16:21:51 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="1503480708"
GENERATED_TIME="1504534911"
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.24494.1503480703.786603.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.11222.1504534907.686357.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="26afdd92c99a1ce9e0bb8f728a85969a974b537e"
SCM_REVISION="059bad909ad4b5f0b70378970475149822cccaa6"