Index of /gentoo/sci-mathematics/agda

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 18-Nov-2016 23:41 2.6K [TXT] agda-2.4.2.5-r2.ebuild 18-Nov-2016 23:41 4.3K [DIR] files/ 03-Apr-2016 23:24 - [   ] metadata.xml 03-Apr-2016 16:39 848