summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild2
1 files changed, 1 insertions, 1 deletions
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 6df32dd74091..8d152264c067 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:* )