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@gentoo.org>

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 8d152264c0671017c83c3ec351aee004b3565ec1..bbdfc46929367862087638a54e20da5aefb7e37b 100644 (file)
--- 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 )