diff options
| author |   David Seifert <soap@gentoo.org> | 2016-05-15 00:49:56 +0200 |
|---|---|---|
| committer | David Seifert <soap@gentoo.org> | 2016-05-15 01:16:18 +0200 |
| commit | ad4ef64c4603fa9b1e6d0404fdcc0ea30af69fba (patch) | |
| tree | 36f5926d21aa9c95d06ffe323bb9b1c7a05523cf /sci-mathematics/cvc3 | |
| parent | sci-mathematics/cado-nfs: Fix QA MissingSlotDep (diff) | |
| download | gentoo-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.ebuild | 6 |
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 8ac2c53297c1..f8d3956f8691 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:= )" |