Welcome to NYCU CSIT Mirror site
Index of /gentoo-portage/sci-mathematics/coq/
Index of /gentoo-portage/sci-mathematics/coq/
../
Manifest 28-Mar-2025 21:12 2731
coq-8.17.1-r1.ebuild 11-Mar-2025 21:11 2510
coq-8.19.2-r1.ebuild 11-Mar-2025 21:11 2509
coq-8.20.0-r1.ebuild 11-Mar-2025 21:11 2921
coq-9.0.0.ebuild 28-Mar-2025 21:12 2725
metadata.xml 17-Mar-2025 00:11 1168