From ad4ef64c4603fa9b1e6d0404fdcc0ea30af69fba Mon Sep 17 00:00:00 2001 From: David Seifert Date: Sun, 15 May 2016 00:49:56 +0200 Subject: [PATCH] sci-mathematics/cvc3: Fix QA MissingSlotDep Package-Manager: portage-2.2.28 --- sci-mathematics/cvc3/cvc3-2.4.1.ebuild | 6 +++--- 1 file 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:= )" -- 2.26.2