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

../
agda-bin_2.5.1.1-3+b3_amd64.deb                    07-Sep-2023 09:12             6169260
agda-mode_2.5.1.1-3_all.deb                        07-Sep-2023 09:12               79668
agda_2.5.1.1-3_all.deb                             07-Sep-2023 09:12               80092
elpa-agda2-mode_2.5.1.1-3_all.deb                  07-Sep-2023 09:12              115256
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb             07-Sep-2023 09:12            12846156
libghc-agda-doc_2.5.1.1-3_all.deb                  07-Sep-2023 09:12             2649336