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

Update

Browse Source
This commit is contained in:
Your Name
2018-10-16 11:47:03 +02:00
parent 63985e09bb
commit 529cc74219
18 changed files with 63 additions and 63 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.6853.1538218099.260291.C.tar.bz2 17592386 SHA256 09e918fc63d47f6e93d88c52d3cbdbf8f592fd68813ce73d8e3999208b88703b SHA512 29dd5a2f0e03353b795c5e391612234abb13f11d43f09527d5e4fe967f27d22587802f040118002a904660ffc810b8f5cfe825b4cb661391c8f3c8b8dd071cce WHIRLPOOL b12db9d35aeb3a2e59e91f2189a62fba08fa17532a79b80b71ea2dd18e4e7b239347e4fd741c878f880f3647aaaed62e8255487a0756ed6bae570c5b9f56bd2d
PBIN z3-scm.pbin-1+exheres-0 1941 SHA256 7c4e9685060e6af9ef5f0a020ed6c72c945495338e025254ec6a449e0bd371ea SHA512 2862e0e0375b71b5b047b458e0a752c96140ff1021847772c7f034a9c6a98f6149e6661cac06299bdb94090cd6e7dcd365fff1ededca1d6c03de3615da75ea05 WHIRLPOOL 5117a6aef67aa3e401a771a227e6977313c8408d5fe4fc5d1a15bcac94af14e2e65701448fe007ba990af18f91504a44785640971bfd2f84152aa6c8eae73fa3
DIST hasufell-binhost--sci-apps--z3-scm--C.24572.1539682076.867893.C.tar.bz2 17597439 SHA256 555b16442afcbee9882244e81b8b24f08020edf0689c1c382ba8a483f3156e53 SHA512 35aa938e26fecf7ff6c5c813201d98185e1d323d8db09c5bcc9626ef79881c42f989cf059da08af96c82060ba62f274ea98356214beb82492616f109b440fa29 WHIRLPOOL 44764f2f2c65373a8feaf3ed68f00cb376d534c27356aab206394e641c29f527922701a189b7f9bc1cf2ba5464ba5b2dea8896b5f9e62e3664d8e47d7de9e0be
PBIN z3-scm.pbin-1+exheres-0 1942 SHA256 ad8b0557c6ac2914b163b25f72352a285b8d5252931fdc0b5e0f0bb5673ab2aa SHA512 ac40f500822fc55bec1c427c2de3aa5f52658c2df81119fb5ce5927483c70291471a2509593588e6c962bea463bd75a6ef4073139ceab3b4f8870a54339927b8 WHIRLPOOL b8fa72b95afcc8d20879119312f05f185d2dccbf6f53d89d3139342e3ef5600da4bcfc3a962e404460a13433ad79bc1c6d3867e4245388a7016f12ad9217b379

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

@@ -1,4 +1,4 @@
# Created by paludis-3.0.0 on Sat Sep 29 12:48:23 CEST 2018
# Created by paludis-3.0.0 on Tue Oct 16 11:28:01 CEST 2018
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="1538218103"
GENERATED_TIME="1539682081"
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.6853.1538218099.260291.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.24572.1539682076.867893.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="6dcec4ce79bf4b63606b67cb45c934ae2abd8ea9"
SCM_REVISION="b301a59899ff401dc1a98dd522b8a8df19471dee"