Index of /gentoo-portage-snapshots/2023-04-24-1215/sci-mathematics/coq/

../
Manifest                                           12-Apr-2023 16:10                3337
coq-8.12.0-r2.ebuild                               11-Apr-2023 14:40                1853
coq-8.13.0-r1.ebuild                               11-Apr-2023 14:40                1827
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                                  12-Apr-2023 16:10                2318
metadata.xml                                       27-Feb-2022 04:09                1047