Index of /portage/sci-mathematics/agda

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[TXT] agda-2.5.2-r1.ebuild    2021-11-08 04:33  5.1K  
[TXT] agda-2.4.2.5-r2.ebuild  2021-11-08 04:33  4.3K  
[   ] Manifest                2021-11-08 04:33  2.1K  
[   ] metadata.xml            2021-11-08 04:33  907   
[DIR] files/                  2021-11-08 04:33    -
Apache Server at share.alethepedia.com Port 80