Index of /funtoo/sci-mathematics/coq

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [TXT] coq-8.6.1.ebuild 19-Jul-2017 03:44 2.0K [TXT] coq-8.6.ebuild 08-Jul-2017 02:25 2.0K [   ] metadata.xml 16-Jun-2016 18:18 1.1K [   ] Manifest 19-Jul-2017 03:44 752