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


../
Manifest                                           06-Apr-2021 19:09                2119
coq-8.11.2.ebuild                                  09-Feb-2021 17:39                1828
coq-8.12.0-r1.ebuild                               06-Apr-2021 19:09                1830
coq-8.13.0.ebuild                                  06-Apr-2021 19:09                1804
metadata.xml                                       13-Mar-2021 15:39                 938