gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/cvc3: Fix QA MissingSlotDep

Browse Source 
Package-Manager: portage-2.2.28
This commit is contained in:
David Seifert
2016-05-15 00:49:56 +02:00
parent c3cc6a49bb
commit ad4ef64c46
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
sci-mathematics/cvc3/cvc3-2.4.1.ebuild
View File

@@ -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:=
)"