Index of ftp://ftp.ru.debian.org/gentoo-portage/sci-mathematics/agda
Parent Directory
Manifest
1.18Kb
March 16 2021 at 17:39
agda-2.6.1.2.ebuild
5.00Kb
March 15 2021 at 22:39
files
4.00Kb
April 8 2021 at 20:09
metadata.xml
1.70Kb
March 16 2021 at 17:39