Index of /gentoo/sci-mathematics/coq

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 15-Nov-2016 10:36 5.2K [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 12-Aug-2016 13:03 2.1K [TXT] coq-8.5_p3.ebuild 15-Nov-2016 10:36 2.1K [DIR] files/ 25-Jun-2016 23:03 - [   ] metadata.xml 25-Jan-2016 00:06 1.1K