diff --git a/sci-mathematics/alt-ergo/alt-ergo-2.4.2.ebuild b/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
similarity index 98%
rename from sci-mathematics/alt-ergo/alt-ergo-2.4.2.ebuild
rename to sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
index 69cec7be217df..496625cddfefb 100644
--- a/sci-mathematics/alt-ergo/alt-ergo-2.4.2.ebuild
+++ b/sci-mathematics/alt-ergo/alt-ergo-2.4.2-r1.ebuild
@@ -24,7 +24,6 @@ RDEPEND="
 	>=dev-ml/ocplib-simplex-0.4:=
 	dev-ml/camlzip:=
 	dev-ml/num:=
-	dev-ml/seq:=
 	dev-ml/stdlib-shims:=
 	dev-ml/zarith:=
 	gui? (