From 47cce5e3baa22474f4e67467d0a320adee35c8ad Mon Sep 17 00:00:00 2001 From: Tupone Alfredo Date: Thu, 16 Jan 2020 11:09:16 +0100 Subject: [PATCH] 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 --- 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 8d152264c067..bbdfc4692936 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 ) -- 2.26.2