commit: 47cce5e3baa22474f4e67467d0a320adee35c8ad
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Jan 16 10:09:16 2020 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Jan 16 10:09:16 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=47cce5e3
sci-mathematics/why3-for-spark: depend on a newer dev-ml/lablgtk
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 8d152264c06..bbdfc469293 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
@@ -24,7 +24,7 @@ DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?]
dev-ml/num
coq? ( >=sci-mathematics/coq-8.9.1 )
doc? ( dev-tex/rubber )
- gtk? ( dev-ml/lablgtk[sourceview] )
+ gtk? ( >=dev-ml/lablgtk-2.18.8[sourceview] )
emacs? ( >=app-editors/emacs-23.1:* )
html? ( dev-tex/hevea )
hypothesis-selection? ( dev-ml/ocamlgraph )
