diff options
| author |   Repository QA checks <repo-qa-checks@gentoo.org> | 2017-01-02 00:42:42 +0000 |
|---|---|---|
| committer | Repository QA checks <repo-qa-checks@gentoo.org> | 2017-01-02 00:42:42 +0000 |
| commit | cbec516e0809836182235bb04bde0a30c20706ed (patch) | |
| tree | bac688f7a1296f1fd86af45ff1a55f62717a494e /metadata/md5-cache/sci-mathematics/z3-4.4.1 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-cbec516e0809836182235bb04bde0a30c20706ed.tar.gz gentoo-cbec516e0809836182235bb04bde0a30c20706ed.tar.bz2 gentoo-cbec516e0809836182235bb04bde0a30c20706ed.zip | |
2017-01-02 00:42:40 UTC
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/z3-4.4.1')
| -rw-r--r-- | metadata/md5-cache/sci-mathematics/z3-4.4.1 | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/metadata/md5-cache/sci-mathematics/z3-4.4.1 b/metadata/md5-cache/sci-mathematics/z3-4.4.1 new file mode 100644 index 000000000000..c2dcb8f753c8 --- /dev/null +++ b/metadata/md5-cache/sci-mathematics/z3-4.4.1 @@ -0,0 +1,15 @@ +DEFINED_PHASES=compile configure install postinst postrm preinst prepare setup +DEPEND=python_targets_python2_7? ( >=dev-lang/python-2.7.5-r2:2.7 ) >=dev-lang/python-exec-2:=[python_targets_python2_7(-)?,-python_single_target_python2_7(-)] gmp? ( dev-libs/gmp:0 ) java? ( >=virtual/jdk-1.8 ) >=dev-java/java-config-2.2.0-r3 +DESCRIPTION=An efficient theorem prover +EAPI=6 +HOMEPAGE=http://z3.codeplex.com/ +IUSE=doc gmp isabelle java python elibc_FreeBSD elibc_FreeBSD python_targets_python2_7 +KEYWORDS=~amd64 ~x86 +LICENSE=MIT +RDEPEND=python_targets_python2_7? ( >=dev-lang/python-2.7.5-r2:2.7 ) >=dev-lang/python-exec-2:=[python_targets_python2_7(-)?,-python_single_target_python2_7(-)] gmp? ( dev-libs/gmp:0 ) >=dev-java/java-config-2.2.0-r3 +REQUIRED_USE=|| ( python_targets_python2_7 ) +SLOT=0 +SRC_URI=https://github.com/Z3Prover/z3/archive/z3-4.4.1.tar.gz +_eclass_exported_funcs=pkg_preinst:java-pkg-2 pkg_postrm:- pkg_postinst:- pkg_setup:- src_prepare:- src_configure:- src_compile:- src_install:- +_eclasses_=eutils b83a2420b796f7c6eff682679d08fe25 flag-o-matic 7366202dd55cb8f018f5d450d54e7749 java-pkg-2 eb1f0d7d874162c70088f5ae32c31ee7 java-pkg-simple 88558e9b1185c8404cf95c1ea077592c java-utils-2 a50950a73b5d5db46f42638e2996a087 multibuild 742139c87a9fa3766f0c2b155e5522bf multilib 165fc17c38d1b11dac2008280dab6e80 python-r1 dcd61d7a5c283f18cfe763552b09eb88 python-utils-r1 d142329ab093dd20c1dd0edb5f094108 toolchain-funcs 1b1da0c45c555989dc5d832b54880783 versionator 99ae9d758cbe7cfed19170e7d48f5a9c +_md5_=622a30c2ded052672059a8b8b385302b |