diff --git a/sci-mathematics/coq/coq-8.17.1.ebuild b/sci-mathematics/coq/coq-8.17.1-r1.ebuild
similarity index 99%
rename from sci-mathematics/coq/coq-8.17.1.ebuild
rename to sci-mathematics/coq/coq-8.17.1-r1.ebuild
index f9f1b9c3cb76..0376c24fc404 100644
--- a/sci-mathematics/coq/coq-8.17.1.ebuild
+++ b/sci-mathematics/coq/coq-8.17.1-r1.ebuild
@@ -53,6 +53,7 @@ BDEPEND="
 	test? (
 		dev-ml/ounit2
 	)
+	<dev-lang/ocaml-5
 "
 
 CHECKREQS_DISK_BUILD="2G"
diff --git a/sci-mathematics/coq/coq-8.19.2.ebuild b/sci-mathematics/coq/coq-8.19.2-r1.ebuild
similarity index 99%
rename from sci-mathematics/coq/coq-8.19.2.ebuild
rename to sci-mathematics/coq/coq-8.19.2-r1.ebuild
index b18c93f1bb56..9613fc3a4f84 100644
--- a/sci-mathematics/coq/coq-8.19.2.ebuild
+++ b/sci-mathematics/coq/coq-8.19.2-r1.ebuild
@@ -53,6 +53,7 @@ BDEPEND="
 	test? (
 		dev-ml/ounit2
 	)
+	<dev-lang/ocaml-5
 "
 
 CHECKREQS_DISK_BUILD="2G"
diff --git a/sci-mathematics/coq/coq-8.20.0.ebuild b/sci-mathematics/coq/coq-8.20.0-r1.ebuild
similarity index 99%
rename from sci-mathematics/coq/coq-8.20.0.ebuild
rename to sci-mathematics/coq/coq-8.20.0-r1.ebuild
index 67166c74be15..1c69a8de9461 100644
--- a/sci-mathematics/coq/coq-8.20.0.ebuild
+++ b/sci-mathematics/coq/coq-8.20.0-r1.ebuild
@@ -57,6 +57,7 @@ BDEPEND="
 	test? (
 		dev-ml/ounit2
 	)
+	<dev-lang/ocaml-5
 "
 
 CHECKREQS_DISK_BUILD="2G"