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-22 01:19:42 +02:00
parent 3a5e543bf5
commit 0ae3ea481c
183 changed files with 925 additions and 925 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.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
DIST hasufell-binhost--sci-apps--z3-scm--C.2414.1561143574.118181.C.tar.bz2 18721058 SHA256 ed3f042774bc9e11aec67faa0e9dacddc2ad05e2d06cab2920ed985544dc1856 SHA512 ec065c8517faf5f3aeb29f94993341872e5bce24c7e08651efced4e391f4004112f0d1d63bca65807d6919f2a16ac8acb7a68b1593dbf5b61e07049a390ea066 WHIRLPOOL 90eeca11e31a68e4e1054d79262e1bfa840a965c15754bec99da7c85cc09a4dba74125750077e387ffcdc486057771a2c6af7f2724b8c104f58098fedc4e09a9
PBIN z3-scm.pbin-1+exheres-0 1941 SHA256 4d8e337fe189ce7d17f53e8c5c14530cf4de6766596a46ab45bda386170ee13f SHA512 910adc77d53282df0a8656b720e3f5dbcc59df39a66745c98e6f7ff51476c1663621c83c51b7e566cc5f437e9c8bf0452c0287dab9a0a2830f3842caecb4dc69 WHIRLPOOL 4d24882b4f53b82803545feb6089d8e82be3d895c7622793ce68228d5448ef8c24f33cb50e2fb3636109ec98b99664f0e334528b2d13aca007b2602ad600f581

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

@@ -1,4 +1,4 @@
# Created by paludis-3.0.0 on Mon Jun 3 04:59:17 CEST 2019
# Created by paludis-3.0.0 on Fri Jun 21 20:59:38 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="1559530757"
GENERATED_TIME="1561143578"
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.12198.1559530753.17954.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.2414.1561143574.118181.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="8cc92e0730e39967eaf476fdd49955505004aeff"
SCM_REVISION="e0a44894cf480908ddc8110b1761e682af4e4644"