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


../
Manifest                                           18-Jul-2017 17:18                2612
coq-8.6.1.ebuild                                   18-Jul-2017 17:18                2028
coq-8.6.ebuild                                     07-Jul-2017 13:23                2025
metadata.xml                                       24-Jan-2016 23:06                1113