Index of /gentoo-repo/sci-mathematics/coq/

../
Manifest                                           16-Mar-2025 23:53                1215
coq-8.17.1-r1.ebuild                               11-Mar-2025 22:42                2510
coq-8.19.2-r1.ebuild                               11-Mar-2025 22:42                2509
coq-8.20.0-r1.ebuild                               11-Mar-2025 22:42                2921
coq-9.0.0.ebuild                                   28-Mar-2025 21:15                2725
metadata.xml                                       16-Mar-2025 23:53                1168