commit: a69e28c6d18a628bcaf7d7bf4e2b1d00a7a725f8
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Sep 25 06:02:24 2025 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Sep 25 06:03:22 2025 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a69e28c6
sci-mathematics/alt-ergo: >=dev-lang/ocaml-4.09 outdate
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
.../alt-ergo/{alt-ergo-2.4.3-r2.ebuild => alt-ergo-2.4.3-r3.ebuild} | 1 -
1 file changed, 1 deletion(-)
diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r2.ebuild
b/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r3.ebuild
similarity index 97%
rename from sci-mathematics/alt-ergo/alt-ergo-2.4.3-r2.ebuild
rename to sci-mathematics/alt-ergo/alt-ergo-2.4.3-r3.ebuild
index 48d652407987..746e53059942 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r2.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.3-r3.ebuild
@@ -24,7 +24,6 @@ IUSE="examples gui +ocamlopt"
REQUIRED_USE="ocamlopt"
RDEPEND="
- >=dev-lang/ocaml-4.09.0:=[ocamlopt=]
>=sci-mathematics/psmt2-frontend-0.4.0:=
<dev-ml/ocplib-simplex-0.5:=
