Index of /gentoo-portage-prefix/sci-mathematics/coq/

../
Manifest                                           28-Nov-2025 13:26    3339
coq-8.17.1-r1.ebuild                               28-Nov-2025 13:26    2523
coq-8.19.2-r1.ebuild                               28-Nov-2025 13:26    2522
coq-8.20.0-r1.ebuild                               28-Nov-2025 13:26    2932
coq-9.0.0.ebuild                                   28-Nov-2025 13:26    2736
coq-9.1.0-r1.ebuild                                28-Nov-2025 13:26    2750
metadata.xml                                       28-Nov-2025 13:26    1254