Index of /ubuntu26.04/archive/pool/universe/a/agda/

../
agda-bin_2.8.0-2build1_amd64.deb                   08-Aug-2026 22:00     10M
agda_2.8.0-2build1_all.deb                         08-Aug-2026 22:00    2892
elpa-agda2-mode_2.8.0-2build1_all.deb              08-Aug-2026 22:00     47K
libghc-agda-dev_2.8.0-2build1_amd64.deb            08-Aug-2026 22:00     37M
libghc-agda-doc_2.8.0-2build1_all.deb              08-Aug-2026 22:00      6M