Index of /funtoo/sci-mathematics/agda

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Manifest 17-Feb-2017 02:21 758 [TXT] agda-2.4.2.5-r2.ebuild 02-Mar-2017 02:29 4.3K [TXT] agda-2.5.2-r1.ebuild 02-Mar-2017 02:29 5.1K [DIR] files/ 16-Jun-2016 18:18 - [   ] metadata.xml 17-Feb-2017 02:21 907