commit: 9e87df67d81653262595c6e816aea5326ec015e6
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Jan 15 08:18:52 2020 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Jan 15 08:18:52 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=9e87df67
sci-mathematics/why3-for-spark: Needs a newer coq version
Package-Manager: Portage-2.3.79, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild
b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild
index 6df32dd7409..8d152264c06 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild
@@ -22,7 +22,7 @@ DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?]
>=dev-ml/ocamlbuild-0.14.0
dev-ml/menhir
dev-ml/num
- coq? ( sci-mathematics/coq )
+ coq? ( >=sci-mathematics/coq-8.9.1 )
doc? ( dev-tex/rubber )
gtk? ( dev-ml/lablgtk[sourceview] )
emacs? ( >=app-editors/emacs-23.1:* )
