summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Seifert <soap@gentoo.org>2016-05-15 00:49:56 +0200
committerDavid Seifert <soap@gentoo.org>2016-05-15 01:16:18 +0200
commitad4ef64c4603fa9b1e6d0404fdcc0ea30af69fba (patch)
tree36f5926d21aa9c95d06ffe323bb9b1c7a05523cf /sci-mathematics/cvc3
parentsci-mathematics/cado-nfs: Fix QA MissingSlotDep (diff)
downloadgentoo-ad4ef64c4603fa9b1e6d0404fdcc0ea30af69fba.tar.gz
gentoo-ad4ef64c4603fa9b1e6d0404fdcc0ea30af69fba.tar.bz2
gentoo-ad4ef64c4603fa9b1e6d0404fdcc0ea30af69fba.zip
sci-mathematics/cvc3: Fix QA MissingSlotDep
Package-Manager: portage-2.2.28
Diffstat (limited to 'sci-mathematics/cvc3')
-rw-r--r--sci-mathematics/cvc3/cvc3-2.4.1.ebuild6
1 files changed, 3 insertions, 3 deletions
diff --git a/sci-mathematics/cvc3/cvc3-2.4.1.ebuild b/sci-mathematics/cvc3/cvc3-2.4.1.ebuild
index 8ac2c53297c..f8d3956f869 100644
--- a/sci-mathematics/cvc3/cvc3-2.4.1.ebuild
+++ b/sci-mathematics/cvc3/cvc3-2.4.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2012 Gentoo Foundation
+# Copyright 1999-2016 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
@@ -6,7 +6,7 @@ EAPI="5"
inherit elisp-common
-DESCRIPTION="CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems"
+DESCRIPTION="CVC3 is a theorem prover for Satisfiability Modulo Theories (SMT) problems"
HOMEPAGE="http://www.cs.nyu.edu/acsys/cvc3/index.html"
SRC_URI="http://www.cs.nyu.edu/acsys/cvc3/releases/2.4.1/${P}.tar.gz"
@@ -16,7 +16,7 @@ SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
IUSE="doc emacs isabelle test zchaff"
-RDEPEND="dev-libs/gmp
+RDEPEND="dev-libs/gmp:0=
isabelle? (
>=sci-mathematics/isabelle-2011.1-r1:=
)"