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

Update

Browse Source
This commit is contained in:
Julian Ospald
2017-01-12 14:37:23 +01:00
parent 85579a2cac
commit d303568b71
50 changed files with 271 additions and 391 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.23920.1483534988.744580.C.tar.bz2 15913434 SHA256 cab11f9e92ccc7f1e0105552919ae45cb8c42ce99f241369fac814100f087679 SHA512 6a0472fe5f587450a36fd016eaed2c4d3e8a6c349a8899ebac0fdf13ba9624e9a6028a653aa1d42d330363b8b71d2db9052cdc81421321574ff38746f8e529a5 WHIRLPOOL f4d13751f6661d3b3a2547b027ec8a41b2e55ded86b240dce2d16e7d317c5f4020a1752c617b9bf5a0b06ce6c988976c78d7657eb8a6cc84c673c79cef20a465
PBIN z3-scm.pbin-1+exheres-0 1903 SHA256 48d53d48660f3652ffe71bc0e957495d92c795fed4bbf1ec2bee284dcab116bc SHA512 5fd73e92d618253fc72ea8ecf15e0b2f82e3013723bfb7c77c4fb008d2c9034c305ffff905146d25fa14dc3c2a698870be38312d419b740186b94e3035c7baca WHIRLPOOL b2b9a02297e4064b4e3437a86363aff8a2ec8524f94453dbfd206bdc244e614d21d65774af7109328f0d8e17e3c2f78b097ce11b47b34c0e1ebf1c8c6702dad5
DIST hasufell-binhost--sci-apps--z3-scm--C.31276.1484227905.586314.C.tar.bz2 15932576 SHA256 98e7b2a1dd1c62a45786c0563b4c3ba343d924e478fa15b288fd326e9cefd194 SHA512 73f733ce81da8fb902cb1f9beca4033053eb2dc5bbba8f92b4f85de8d03abe8dbcda26009bdc28e92609709d46b5d285c64b8daddcc7ea54f3394f6e1d49b1ef WHIRLPOOL ae8ceb1f4c88ac280c1ef16361d65f926bb1d5513b5f97f5ab75c4fb249a510aed366d1697b26b30c2b5f35bd202a988ff67515d9c79d18bf2384d2a46c1f8f8
PBIN z3-scm.pbin-1+exheres-0 1903 SHA256 df921097796241d04831d987c76fc8a2103db2cea40f7282c1e9acf8b1e6b7da SHA512 1b714de6960ba21842242fa8d13bb63deca255a1e12c87f712212f8fbfa096970025489e0628e163c2d4d8ebe4bf0c8bc77446bbabb28ed6ac142ddd5d8f7547 WHIRLPOOL 151042c880c42ad17d63521ddd33d82a517ceec13d38d9bb5380c39848bfc624607770a62aaff4ef5843899a0e02ceca154e13a33e0369c1baa45dee9725cd0e

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 Jan 4 14:03:13 CET 2017
# Created by paludis-3.0.0 on Thu Jan 12 14:31:49 CET 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="1483534993"
GENERATED_TIME="1484227909"
SUBOPTIONS="AMD64_CPU_FEATURES ANT_DATA_TYPES ANT_SCRIPTING ANT_TASKS APACHE_MODULES ARM_CPU_FEATURES 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.23920.1483534988.744580.C.tar.bz2"
BINARY_URI="mirror://hasufell-binhost/hasufell-binhost--sci-apps--z3-scm--C.31276.1484227905.586314.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="cb75a55095bc33cce8da48d9f80910e36f90c3d8"
SCM_REVISION="f1a4a4849199db0d232056c085a2c3c4e2817866"