Index of /dev/ubuntu/pool/universe/a/agda/

../
agda-bin_2.6.3-1build1_amd64.deb                   29-Aug-2026 14:24     10M
agda-bin_2.8.0-2build1_amd64.deb                   29-Aug-2026 14:24     10M
agda_2.6.3-1build1_all.deb                         29-Aug-2026 14:24    3758
agda_2.8.0-2build1_all.deb                         29-Aug-2026 14:24    2892
elpa-agda2-mode_2.6.3-1build1_all.deb              29-Aug-2026 14:24     45K
elpa-agda2-mode_2.8.0-2build1_all.deb              29-Aug-2026 14:24     47K
libghc-agda-dev_2.6.3-1build1_amd64.deb            29-Aug-2026 14:24     24M
libghc-agda-dev_2.8.0-2build1_amd64.deb            29-Aug-2026 14:24     37M
libghc-agda-doc_2.6.3-1build1_all.deb              29-Aug-2026 14:24      6M
libghc-agda-doc_2.8.0-2build1_all.deb              29-Aug-2026 14:24      6M