mirrors/gentoo-ebuilds
3
0
Fork 0
mirror of https://anongit.gentoo.org/git/repo/gentoo.git synced 2025-06-07 13:44:38 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions
gentoo-ebuilds/sci-mathematics/coq
History
Exact
…
..
coq-8.17.1-r1.ebuild sci-mathematics/coq: block with ocaml-5 2025-03-11 21:46:27 +01:00
coq-8.19.2-r1.ebuild sci-mathematics/coq: block with ocaml-5 2025-03-11 21:46:27 +01:00
coq-8.20.0-r1.ebuild sci-mathematics/coq: block with ocaml-5 2025-03-11 21:46:27 +01:00
coq-9.0.0.ebuild
Manifest
metadata.xml