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

Update

Browse Source
This commit is contained in:
Your Name
2020-01-06 18:07:05 +01:00
parent 88c73de4a6
commit 8513d3ba60
156 changed files with 1483 additions and 443 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.10079.1577239266.339081.C.tar.bz2 19027976 SHA256 d4fa93e71909860072724e2c4a054bc4b4025ea5689d2a629ec11925354e9e29 SHA512 12b5ca56f2c18969a08faeafae8aedab8b49b03b6c70dee1deb2f4fdf2b75d316c42d3524a971975578e2646cb6fee0ba3358e2aaa1d3e2e3508f1d2401407de WHIRLPOOL be941191df82517e0416bfb297d1de30a6a9c7118e855d0142d49159763b3b80c21eeaa8e932e424bcf905adce5ebd83db1ac26ac32088b108c9f393d7f25c51
PBIN z3-scm.pbin-1+exheres-0 1915 SHA256 6b69797ad4166eba72a725edff1dd1f5bff060b39a7a04cffe7d772b6546f8dc SHA512 43920e43ed6000204c031e5a97a1e839c7d3eda3ad4bcb4e5622727078abc1c4d8d0e96b3aeb57f398291fe36add59166a95ee964868248ad34df04003a1bf9b WHIRLPOOL 22190691706dc5ee6cbaa78b5a7838a117d9e5dc68bc6790638aa0e260fae73e5e59fcfb9421492d2b421d84a16a31e0146977caa67c60d5029663c8293377b5
DIST hasufell-binhost--sci-apps--z3-scm--C.17423.1578327356.751758.C.tar.bz2 19276817 SHA256 c9bd8e248c6ef562c3fe6be6953a2fc10bcab60ee04dfe9cb3cbe535674ab58f SHA512 b248c9b3b715f760fac423b8267e68370c30eb953f55fa90f2543b531892764abe00067b2f6960f682edb2ad702d7866af753db715e80e0990e1c44a67db9e16 WHIRLPOOL efd862ef1f70cab677d3f439bfbf03f088d63410c6aa4868a35a6a4578ad5e2fcf04c915a7ea77d34e7fa039115521d89b42b97620628977f758950c39400f1e
PBIN z3-scm.pbin-1+exheres-0 1915 SHA256 cb6c419c170bc09d33d2aafecdd1a5c14301701c10c53aef467929e99b68f53d SHA512 df97f477439b184e09b97c0bbf4d2faa3b918b3ac4feda832bfd8331044e06b6be9e1107da6439673c73150a0f58f64c94e1ed153019c31f67787e597236f6d2 WHIRLPOOL 71c1086613aa94d20307785d155a94c772ad6e2882674c6e7e6674035ca77adf6915f2da831122eed1d42de853a90374ac8063b835cd2a447900f6e2a934c718

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 Dec 25 03:01:11 CET 2019
# Created by paludis-3.0.0 on Mon Jan 6 17:16:01 CET 2020
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="1577239271"
GENERATED_TIME="1578327361"
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=""
@@ -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.10079.1577239266.339081.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.17423.1578327356.751758.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="78feac44655fd322c087d41da85b3f60b2d47fb4"
SCM_REVISION="4c09b7d792d229669ddd539cc1b6a9d0397bc0c1"