Index of /gentoo/sci-mathematics/coq

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 28-Feb-2017 20:50 4.1K [TXT] coq-8.5.ebuild 28-Feb-2017 20:50 2.1K [TXT] coq-8.5_p3.ebuild 28-Feb-2017 20:50 2.1K [TXT] coq-8.6.ebuild 28-Feb-2017 20:50 2.0K [DIR] files/ 23-Jan-2017 10:04 - [   ] metadata.xml 25-Jan-2016 00:06 1.1K