diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2020-12-05 19:26:32 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2020-12-05 19:26:32 +0100 |
| commit | 437b9b6b58591e7832b67a34c2c7af129daad744 (patch) | |
| tree | f121b8ea59b006efd973a4435ccdf345da8b9fc0 /sci-mathematics/alt-ergo | |
| parent | dev-python/geventhttpclient: bump to 1.4.5 (diff) | |
| download | gentoo-437b9b6b58591e7832b67a34c2c7af129daad744.tar.gz gentoo-437b9b6b58591e7832b67a34c2c7af129daad744.tar.bz2 gentoo-437b9b6b58591e7832b67a34c2c7af129daad744.zip | |
sci-mathematics/alt-ergo: depend only on lablgtk:2
Bug: https://bugs.gentoo.org/758638
Package-Manager: Portage-3.0.9, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics/alt-ergo')
| -rw-r--r-- | sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild index 8cefc8049226..7f950f433a25 100644 --- a/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild +++ b/sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild @@ -14,7 +14,7 @@ IUSE="examples gtk +ocamlopt" DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?] dev-ml/zarith - dev-ml/lablgtk:=[sourceview,ocamlopt?] + dev-ml/lablgtk:2[sourceview,ocamlopt?] dev-ml/camlzip sci-mathematics/psmt2-frontend >=dev-ml/ocplib-simplex-0.4 |