Index of ftp://ftp.linux.org.tr/gentoo-portage/sci-mathematics/agda

[DIR] Parent Directory

[ ] Manifest  1.18Kb  December 17 2020 at 07:39
[ ] agda-2.6.1.2.ebuild  4.89Kb  December 17 2020 at 07:39
[DIR] files  34.00b  December 24 2020 at 03:09
[TXT] metadata.xml  1.70Kb  December 17 2020 at 07:39