Index of http://de.aminet.net/gentoo-portage/sci-mathematics/agda
Parent Directory
Manifest
1.18Kb
March 16 2021 at 20:39
agda-2.6.1.2.ebuild
5.00Kb
March 16 2021 at 01:39
metadata.xml
1.70Kb
March 16 2021 at 20:39
files
4.00Kb
June 3 2021 at 09:39