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