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


../
Manifest                                           31-May-2022 16:56                3950
coq-8.11.2-r1.ebuild                               31-May-2022 16:56                1845
coq-8.12.0-r2.ebuild                               07-Dec-2021 06:26                1847
coq-8.13.0-r1.ebuild                               26-Jul-2021 11:26                1821
coq-8.15.0-r2.ebuild                               13-Mar-2022 13:26                2396
coq-8.15.1.ebuild                                  22-Mar-2022 19:26                2396
coq-8.15.2.ebuild                                  31-May-2022 16:26                2396
metadata.xml                                       31-May-2022 16:26                1047