Index of /debian-buster/pool/main/a/agda/

../
agda-bin_2.5.4.1-3+b1_amd64.deb                    14-May-2025 11:55             5868440
agda-mode_2.5.4.1-3_all.deb                        14-May-2025 12:04              117680
agda_2.5.4.1-3_all.deb                             14-May-2025 12:07              118104
elpa-agda2-mode_2.5.4.1-3_all.deb                  14-May-2025 11:50              155444
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb             14-May-2025 12:13            17170668
libghc-agda-doc_2.5.4.1-3_all.deb                  14-May-2025 12:09             3790832