summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2022-04-15 21:31:34 +0200
committerMaciej Barć <xgqt@gentoo.org>2022-04-15 21:32:46 +0200
commit0c5c8ab39246ad13897d73e004882d89e6838996 (patch)
treea9d668e87c2d2097c9a59ef3ef7eb4a328a07b89 /sci-mathematics/alt-ergo
parentapp-emulation/vkd3d: Sync with ::wine (diff)
downloadgentoo-0c5c8ab39246ad13897d73e004882d89e6838996.tar.gz
gentoo-0c5c8ab39246ad13897d73e004882d89e6838996.tar.bz2
gentoo-0c5c8ab39246ad13897d73e004882d89e6838996.zip
sci-mathematics/alt-ergo: depend on cmdliner <1.1.0
https://opam.ocaml.org/packages/alt-ergo/ Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/alt-ergo')
-rw-r--r--sci-mathematics/alt-ergo/alt-ergo-2.4.1-r2.ebuild (renamed from sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild)2
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r2.ebuild
index b1fc33bf89fa..bc908a192c9e 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r1.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.1-r2.ebuild
@@ -18,10 +18,10 @@ RDEPEND="
>=dev-lang/ocaml-4.09.0:=[ocamlopt=]
>=sci-mathematics/psmt2-frontend-0.4.0:=
+ <dev-ml/cmdliner-1.1.0:=
>=dev-ml/menhir-20181006:=
>=dev-ml/ocplib-simplex-0.4:=
dev-ml/camlzip:=
- dev-ml/cmdliner:=
dev-ml/num:=
dev-ml/seq:=
dev-ml/stdlib-shims:=