diff options
Diffstat (limited to 'metadata/md5-cache/sci-mathematics/cvc4-1.6')
-rw-r--r-- | metadata/md5-cache/sci-mathematics/cvc4-1.6 | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/metadata/md5-cache/sci-mathematics/cvc4-1.6 b/metadata/md5-cache/sci-mathematics/cvc4-1.6 deleted file mode 100644 index fd11c0591e7d..000000000000 --- a/metadata/md5-cache/sci-mathematics/cvc4-1.6 +++ /dev/null @@ -1,12 +0,0 @@ -DEFINED_PHASES=configure -DEPEND=dev-libs/antlr-c dev-libs/boost cln? ( sci-libs/cln ) !cln? ( dev-libs/gmp:= ) -DESCRIPTION=automatic theorem prover for satisfiability modulo theories (SMT) problems -EAPI=6 -HOMEPAGE=http://cvc4.cs.stanford.edu/web/ -IUSE=+cln -KEYWORDS=~amd64 ~x86 -LICENSE=GPL-2 -RDEPEND=dev-libs/antlr-c dev-libs/boost cln? ( sci-libs/cln ) !cln? ( dev-libs/gmp:= ) -SLOT=0 -SRC_URI=http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-1.6.tar.gz -_md5_=0fa497641b0052ef7c0db817d8289196 |