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

../
Manifest                                           14-Jun-2018 17:39                1502
coq-8.6.1.ebuild                                   09-Apr-2018 19:39                1991
coq-8.6.ebuild                                     09-Apr-2018 19:39                1988
metadata.xml                                       24-Jan-2016 23:06                1113