Index of /gentoo/sci-mathematics/agda

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [TXT] ChangeLog 11-Sep-2016 23:51 5.0K [TXT] ChangeLog-2015 09-Nov-2015 05:11 6.3K [   ] Manifest 11-Sep-2016 23:51 2.6K [TXT] agda-2.4.2.5-r2.ebuild 11-Sep-2016 22:46 4.3K [DIR] files/ 03-Apr-2016 23:24 - [   ] metadata.xml 03-Apr-2016 16:39 848