diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2020-12-05 09:41:28 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2020-12-05 09:41:28 +0100 |
| commit | 9e4d2e352636cbdabaa4f6620b4145d9d04fa74d (patch) | |
| tree | 955c13571d1d374282006cf1f8c763dca11084b5 /sci-mathematics | |
| parent | app-text/calibre: Bump to version 5.6.0 (diff) | |
| download | gentoo-9e4d2e352636cbdabaa4f6620b4145d9d04fa74d.tar.gz gentoo-9e4d2e352636cbdabaa4f6620b4145d9d04fa74d.tar.bz2 gentoo-9e4d2e352636cbdabaa4f6620b4145d9d04fa74d.zip | |
sci-mathematics/alt-ergo: fix dependency
Closes: https://bugs.gentoo.org/758245
Package-Manager: Portage-3.0.9, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -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..8cefc8049226 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:=[sourceview,ocamlopt?] dev-ml/camlzip sci-mathematics/psmt2-frontend >=dev-ml/ocplib-simplex-0.4 |