From a69e28c6d18a628bcaf7d7bf4e2b1d00a7a725f8 Mon Sep 17 00:00:00 2001 From: Alfredo Tupone Date: Thu, 25 Sep 2025 08:02:24 +0200 Subject: [PATCH] sci-mathematics/alt-ergo: >=dev-lang/ocaml-4.09 outdate Signed-off-by: Alfredo Tupone --- .../{alt-ergo-2.4.3-r2.ebuild => alt-ergo-2.4.3-r3.ebuild} | 1 - 1 file changed, 1 deletion(-) rename sci-mathematics/alt-ergo/{alt-ergo-2.4.3-r2.ebuild => alt-ergo-2.4.3-r3.ebuild} (97%) 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 48d6524079872..746e530599425 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:=