Index of /resolute/pool/universe/a/agda/

../
agda-bin_2.8.0-2build1_amd64.deb                   17-Sep-2026 08:42            10986814
agda_2.8.0-2build1_all.deb                         16-Sep-2026 12:28                2892
elpa-agda2-mode_2.8.0-2build1_all.deb              16-Sep-2026 12:28               47692
libghc-agda-dev_2.8.0-2build1_amd64.deb            16-Sep-2026 12:28            39235840
libghc-agda-doc_2.8.0-2build1_all.deb              16-Sep-2026 12:28             6800782