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:=
 
 	<dev-ml/ocplib-simplex-0.5:=