Index of /debian-ports/pool/main/a/agda

[ICO]NameLast modifiedSize
[PARENTDIR]Parent Directory  -
[ ]libghc-agda-doc_2.8.0-2_all.deb2026-02-15 15:07 7.2M
[ ]elpa-agda2-mode_2.8.0-2_all.deb2026-02-15 15:07 56K
[ ]agda_2.8.0-2_all.deb2026-02-15 15:07 17K
Apache Server at ftp.ports.debian.org Port 80