millerson.name/gentoo
2
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-06 00:05:54 +03:00
Code Packages Projects Releases Wiki Activity

sci-mathematics/coq: block with ocaml-5

Browse Source 
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2025-03-11 21:46:08 +01:00
parent b787921a2a
commit e3a245194d
3 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
sci-mathematics/coq/coq-8.17.1.ebuild → sci-mathematics/coq/coq-8.17.1-r1.ebuild
View File

@@ -53,6 +53,7 @@ BDEPEND="
test? (
dev-ml/ounit2
)
<dev-lang/ocaml-5
"
CHECKREQS_DISK_BUILD="2G"

1
sci-mathematics/coq/coq-8.19.2.ebuild → sci-mathematics/coq/coq-8.19.2-r1.ebuild
View File

@@ -53,6 +53,7 @@ BDEPEND="
test? (
dev-ml/ounit2
)
<dev-lang/ocaml-5
"
CHECKREQS_DISK_BUILD="2G"

1
sci-mathematics/coq/coq-8.20.0.ebuild → sci-mathematics/coq/coq-8.20.0-r1.ebuild
View File

@@ -57,6 +57,7 @@ BDEPEND="
test? (
dev-ml/ounit2
)
<dev-lang/ocaml-5
"
CHECKREQS_DISK_BUILD="2G"