diff --git a/sci-mathematics/why3/why3-1.4.0-r2.ebuild b/sci-mathematics/why3/why3-1.4.0-r3.ebuild
similarity index 98%
rename from sci-mathematics/why3/why3-1.4.0-r2.ebuild
rename to sci-mathematics/why3/why3-1.4.0-r3.ebuild
index efe23fa3bbde5..e57cc66c0237e 100644
--- a/sci-mathematics/why3/why3-1.4.0-r2.ebuild
+++ b/sci-mathematics/why3/why3-1.4.0-r3.ebuild
@@ -22,7 +22,7 @@ RDEPEND="
 	coq? ( >=sci-mathematics/coq-8.6 )
 	emacs? ( app-editors/emacs:* )
 	gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] )
-	re? ( dev-ml/re:= dev-ml/seq:= )
+	re? ( dev-ml/re:= )
 	sexp? (
 		dev-ml/ppx_deriving:=[ocamlopt?]
 		dev-ml/ppx_sexp_conv:=[ocamlopt?]
diff --git a/sci-mathematics/why3/why3-1.4.1.ebuild b/sci-mathematics/why3/why3-1.4.1-r1.ebuild
similarity index 98%
rename from sci-mathematics/why3/why3-1.4.1.ebuild
rename to sci-mathematics/why3/why3-1.4.1-r1.ebuild
index efe23fa3bbde5..e57cc66c0237e 100644
--- a/sci-mathematics/why3/why3-1.4.1.ebuild
+++ b/sci-mathematics/why3/why3-1.4.1-r1.ebuild
@@ -22,7 +22,7 @@ RDEPEND="
 	coq? ( >=sci-mathematics/coq-8.6 )
 	emacs? ( app-editors/emacs:* )
 	gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] )
-	re? ( dev-ml/re:= dev-ml/seq:= )
+	re? ( dev-ml/re:= )
 	sexp? (
 		dev-ml/ppx_deriving:=[ocamlopt?]
 		dev-ml/ppx_sexp_conv:=[ocamlopt?]
diff --git a/sci-mathematics/why3/why3-1.5.0.ebuild b/sci-mathematics/why3/why3-1.5.0-r1.ebuild
similarity index 98%
rename from sci-mathematics/why3/why3-1.5.0.ebuild
rename to sci-mathematics/why3/why3-1.5.0-r1.ebuild
index 9c250c09c3d00..5f542a4b9e572 100644
--- a/sci-mathematics/why3/why3-1.5.0.ebuild
+++ b/sci-mathematics/why3/why3-1.5.0-r1.ebuild
@@ -22,7 +22,7 @@ RDEPEND="
 	coq? ( >=sci-mathematics/coq-8.7 )
 	emacs? ( app-editors/emacs:* )
 	gtk? ( dev-ml/lablgtk:=[sourceview,ocamlopt?] )
-	re? ( dev-ml/re:= dev-ml/seq:= )
+	re? ( dev-ml/re:= )
 	sexp? (
 		dev-ml/ppx_deriving:=[ocamlopt?]
 		dev-ml/ppx_sexp_conv:=[ocamlopt?]