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-06-03 05:46:24 +02:00
parent 841e6fb565
commit f69c321cc1
32 changed files with 85 additions and 85 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.4757.1558838586.519883.C.tar.bz2 18619800 SHA256 6a789de8aa335401cdd2acfc974aaa7c86e917db0a6973f9ff0f18638ebbfbf1 SHA512 077c80209f26b407d4f58050bcf3bc328a879c3552c2e3006f1c0cbeb1d6b6a47c771a41ba3bbbcac1667f754a6594ae60eb85e017d0199cfe99612795230842 WHIRLPOOL 89195b32ecd7aa4ccc25fad26410ae9bb6910b6d549673c56e88b53bdf1ef61a987d0728b0654550aa3246d61d9d463db5a2c8b633d2963d18adfb5a22ee7452
PBIN z3-scm.pbin-1+exheres-0 1941 SHA256 7ed0a87bb2036328b8b3519893411ad11688e8c23b071c4f39a3545f061b6e3f SHA512 4f36588eec9bd7416ee53a0efd1bc2008b53857066d0f1e417d5a3ca59e45e92c5ca7c3e91bd40679dcd7410e89a9eb21464dce847ba0688b56fca14bbe1be4e WHIRLPOOL 9f59416fb76f72c1e2a1d4acfc512ac0e2b055caaa5cc210f8a3ed56fd68777ae5a66189bb5eedcdce2f157879bd3bab792424d3b689518d5794183b40dfb45b
DIST hasufell-binhost--sci-apps--z3-scm--C.12198.1559530753.17954.C.tar.bz2 18657732 SHA256 181ad845b4ad2cc8cea0121d87e37ff5f2626331592bd90cbad4a977bdb32c04 SHA512 91da32747f8159e091216c3f29bd68e815ffe6cd4e19564a40bd403218aac11e20a2dc02ba18a6a1bbff0fdc1b126ca02f302f3cd4a31b892d9bff9ef7b6d93b WHIRLPOOL 8804bf7e1878bf2f6fe4c4690bb2485f78fe2fe47d6fe7a78d85ed65fde8e0c8371f282489d88f7273e06fd150691d6d497351b0132e9d9b95fe6311385cd6f6
PBIN z3-scm.pbin-1+exheres-0 1941 SHA256 7f6b985dab511587ecddc5e197ca3376dbe368b28245224ce545a26adf26bd5f SHA512 98ec9603cc3adb24814e906ec43309eae21690c130dc56fec0e78118e9f84fcc12f805e8470c11c5ad490812c5722c5ea252d40ac271a3696614831ad0cbc21b WHIRLPOOL 0eb3fb56eb82fe20011f4813333e8467510d1bb03b3b559888c79d4c6e55a7623f7de37ca0cd742cd8241fa56870d665651f734c51215aa273b110b474e7d9fa

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 May 26 04:43:11 CEST 2019
# Created by paludis-3.0.0 on Mon Jun 3 04:59:17 CEST 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,7 +12,7 @@ SLOT="0"
DOWNLOADS=""
OPTIONS=""
GENERATED_USING="paludis-3.0.0"
GENERATED_TIME="1558838591"
GENERATED_TIME="1559530757"
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"
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.4757.1558838586.519883.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.12198.1559530753.17954.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="2d0ff7d68a8fca6f0cdb60734f6d4232663aa654"
SCM_REVISION="8cc92e0730e39967eaf476fdd49955505004aeff"