Index of /gentoo-portage-snapshots/2016-09-01-0213/sci-mathematics/coq/

../
files/                                             26-Jun-2016 02:12                   -
ChangeLog                                          12-Aug-2016 15:49                6330
ChangeLog-2015                                     09-Nov-2015 04:11               14610
Manifest                                           12-Aug-2016 15:49                4521
coq-8.5.ebuild                                     25-Jun-2016 20:41                2141
coq-8.5_p1.ebuild                                  03-May-2016 09:13                2192
coq-8.5_p2.ebuild                                  12-Aug-2016 11:03                2120
metadata.xml                                       24-Jan-2016 23:06                1113