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

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[TXT] agda-2.4.2.5-hashtab..> 2021-11-08 04:33  558   
[   ] 50agda2-gentoo.el       2021-11-08 04:33  317
Apache Server at share.alethepedia.com Port 80