Index of /gentoo-portage/sci-mathematics/agda/files

Icon  Name                                  Last modified      Size  Description
[PARENTDIR] Parent Directory - [TXT] 50agda2-gentoo.el 2015-08-09 10:38 317 [   ] agda-2.4.2.5-hashtables.patch 2016-02-09 09:15 558