commit: e3a245194d2f33152c31c672b33ef850c2c7a1e9
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Mar 11 20:46:08 2025 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Mar 11 20:46:27 2025 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e3a24519
sci-mathematics/coq: block with ocaml-5
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/coq/{coq-8.17.1.ebuild => coq-8.17.1-r1.ebuild} | 1 +
sci-mathematics/coq/{coq-8.19.2.ebuild => coq-8.19.2-r1.ebuild} | 1 +
sci-mathematics/coq/{coq-8.20.0.ebuild => coq-8.20.0-r1.ebuild} | 1 +
3 files changed, 3 insertions(+)
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"
