Index of /UBUNTU/pool/universe/a/agda/

../
agda-bin_2.8.0-2build1_amd64.deb                   21-Jun-2026 03:16     10M
agda_2.8.0-2build1_all.deb                         21-Jun-2026 03:16    2892
elpa-agda2-mode_2.8.0-2build1_all.deb              21-Jun-2026 03:16     47K
libghc-agda-dev_2.8.0-2build1_amd64.deb            21-Jun-2026 03:16     37M
libghc-agda-doc_2.8.0-2build1_all.deb              21-Jun-2026 03:16      6M