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


../
Manifest                                           11-Sep-2021 13:40                3037
coq-8.11.2-r1.ebuild                               26-Jul-2021 11:39                1845
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.12.0-r2.ebuild                               26-Jul-2021 11:39                1849
coq-8.13.0-r1.ebuild                               26-Jul-2021 11:39                1821
coq-8.13.0.ebuild                                  06-Apr-2021 19:09                1804
metadata.xml                                       11-Sep-2021 13:40                 939