diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2020-12-14 13:26:14 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2020-12-14 13:26:14 +0000 |
commit | 6abbf81ef2f298e3221ff5e67a1f3c5f23958212 (patch) | |
tree | 25413d1cb3a0cbfe36029db32398c0f333609215 /sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild | |
parent | 9c417bacd51da6d8b57fa9f37425161d30d4b95b (diff) |
gentoo resync : 14.12.2020
Diffstat (limited to 'sci-mathematics/alt-ergo/alt-ergo-2.3.0.ebuild')
-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 668708afdc77..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 - gtk? ( >=dev-ml/lablgtk-2.14[sourceview,ocamlopt?] ) + dev-ml/lablgtk:2[sourceview,ocamlopt?] dev-ml/camlzip sci-mathematics/psmt2-frontend >=dev-ml/ocplib-simplex-0.4 |