Index of ftp://ftp.litnet.lt/gentoo-portage/sci-mathematics/agda

[DIR] Parent Directory

[ ] Manifest  1.18Kb  September 11 2021
[ ] agda-2.6.1.2.ebuild  5.00Kb  March 16 2021
[DIR] files  39.00b  December 7 2021
[TXT] metadata.xml  1.70Kb  September 11 2021