Index of /gentoo-portage-snapshots/2019-11-04-0015/sci-mathematics/coq/

../
Manifest                                           24-Sep-2019 10:09                2107
coq-8.6.1.ebuild                                   09-Apr-2018 19:39                1991
coq-8.6.ebuild                                     09-Apr-2018 19:39                1988
coq-8.9.1.ebuild                                   24-Sep-2019 10:09                1861
metadata.xml                                       24-Jan-2016 23:06                1113