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-10-01 01:45:25 +02:00
parent 7ac35d7055
commit 51cd785ea1
82 changed files with 369 additions and 329 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.23666.1505900274.64546.C.tar.bz2 17368406 SHA256 97b118c62e99619907ddb8faa9bdf800db3fef4b2a5eec22f6882f9ec607a017 SHA512 7b9bf15e737a5144d214222b51708d2e399312704092801e93cc0b9bbbca11833b92b8fab678632a45864b5eb75c013a862cb73fd982b5c1784d8fd79cee14b7 WHIRLPOOL 9df62cb1112189b5b1ce8fcf6ffe922e9f7a732d7940d03e42225ef452aa6580cc570f33b79e4c7d8e46f9b8de6146d5ba6bfe38ef7c5cc3e0a7abe0863a02b0
PBIN z3-scm.pbin-1+exheres-0 1922 SHA256 32083e7b4ce0d53f1b2fcbabd06a07b53906b7264d4d3b0da54a32e00864b5fe SHA512 942c7f6f598b91ead5c18c02e155b540bb7bfa0b1f94fc05d92a671e0d5fb8a5f85f3b8ccd4bcaaa0cb21a036a48c886c46d0e6ca23d510e043c8269868b016b WHIRLPOOL 8dc7d465838329a92dee3038c090c3a70fc8cca20943dcaf4e0ee523c84ead2649e8bbd311e5ad0c85db0ab5a4f61f1e3142cfa3d263c21b0e66e39e7505f64d
DIST hasufell-binhost--sci-apps--z3-scm--C.9392.1506814429.803945.C.tar.bz2 17428109 SHA256 89a2f7f395f8881f0357596a8cad15f092c571e2467d0fd350c0fa41469f70be SHA512 d9db8107229e3b11565f9135a045f05296647712b4897ada1c0437c12f7732bbec268e12ee72cd4368208829bae467dae9c9e89cec97cb5858ea61889becbedb WHIRLPOOL 5a6e2769b82b7e0d4f71fe79b130f5773a2c18d58c8497621848372c4928dc396b0d4736579d0926f236632f2c44a734a70337ebcfc5c6ea89564920c34b3f29
PBIN z3-scm.pbin-1+exheres-0 1922 SHA256 523a953a40236d4e9a084b3f5e016d4c7a950094972a8023af53f9f26683d667 SHA512 47d35c01a3c5c4dd6942c5f171a9ad146beda630bb4610fce830f2df1bbbd4282a3468657d30ee77a44c8a8c50a18075bf4428fff4a85784dd1e85c07924db01 WHIRLPOOL e067e1b1b2d865b3594f96446ed4476068130cc6ad131bb95c8698ab2af40b78c34d0a525332589e46e77f63d3e6af93c6a65a1a96a1f04397b121e9beeb957e

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 Sep 20 11:37:58 CEST 2017
# Created by paludis-3.0.0 on Sun Oct 1 01:33:54 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="1505900278"
GENERATED_TIME="1506814434"
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.23666.1505900274.64546.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.9392.1506814429.803945.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="cb15473d5b759b6973666f98693a5583d4f70cb1"
SCM_REVISION="bec60f763bbe8daf87413088f19a4b7c23ba7e5c"