Index of /gentoo/sci-mathematics/coq

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [TXT] ChangeLog 13-Jul-2016 17:46 6.0K [TXT] ChangeLog-2015 09-Nov-2015 05:11 14K [   ] Manifest 13-Jul-2016 17:46 4.4K [TXT] coq-8.5.ebuild 25-Jun-2016 22:41 2.1K [TXT] coq-8.5_p1.ebuild 03-May-2016 11:13 2.1K [TXT] coq-8.5_p2.ebuild 13-Jul-2016 14:55 2.1K [DIR] files/ 25-Jun-2016 23:03 - [   ] metadata.xml 25-Jan-2016 00:06 1.1K