diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2020-01-16 11:09:16 +0100 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2020-01-16 11:09:16 +0100 |
| commit | 47cce5e3baa22474f4e67467d0a320adee35c8ad (patch) | |
| tree | 78ff7c3b8a97beb552512c9f964f0a04c4168a07 /sci-mathematics/why3-for-spark | |
| parent | app-misc/nnn: Version bump (v2.9) (diff) | |
| download | gentoo-47cce5e3baa22474f4e67467d0a320adee35c8ad.tar.gz gentoo-47cce5e3baa22474f4e67467d0a320adee35c8ad.tar.bz2 gentoo-47cce5e3baa22474f4e67467d0a320adee35c8ad.zip | |
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>
Diffstat (limited to 'sci-mathematics/why3-for-spark')
| -rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild | 2 |
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 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 ) |