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

../
agda-bin_2.8.0-2build1_amd64.deb                   03-Jun-2026 16:27            10986814
agda_2.8.0-2build1_all.deb                         03-Jun-2026 16:27                2892
elpa-agda2-mode_2.8.0-2build1_all.deb              03-Jun-2026 16:27               47692
libghc-agda-dev_2.8.0-2build1_amd64.deb            03-Jun-2026 16:27            39235840
libghc-agda-doc_2.8.0-2build1_all.deb              03-Jun-2026 16:27             6800782