Index of /debian-ports/pool/main/a/agda
Name
Last modified
Size
Description
Parent Directory
-
agda_2.6.3-1_all.deb
2023-10-13 16:30
20K
elpa-agda2-mode_2.6.3-1_all.deb
2023-10-13 16:30
58K
libghc-agda-doc_2.6.3-1_all.deb
2023-10-13 16:30
6.6M