Index of /gentoo-portage-snapshots/2023-07-14-0015/sci-mathematics/coq/

../
Manifest                                           11-Jul-2023 09:10                3334
coq-8.12.0-r2.ebuild                               09-Jun-2023 15:40                1854
coq-8.15.2.ebuild                                  11-Apr-2023 14:40                2402
coq-8.16.1.ebuild                                  11-Apr-2023 14:40                2418
coq-8.17.0.ebuild                                  11-Jul-2023 09:10                2317
coq-8.17.1.ebuild                                  28-Jun-2023 01:40                2318
metadata.xml                                       27-Feb-2022 04:09                1047