Index of /extended-lts/pool/main/a/agda/

../
agda-bin_2.4.0.2-2+b1_amd64.deb                    08-May-2025 13:45             3920024
agda-mode_2.4.0.2-2_all.deb                        08-May-2025 13:45               88336
agda_2.4.0.2-2_all.deb                             08-May-2025 13:45               56362
libghc-agda-dev_2.4.0.2-2+b1_amd64.deb             08-May-2025 13:45             9793172
libghc-agda-doc_2.4.0.2-2_all.deb                  08-May-2025 13:45             1959856