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

../
agda-bin_2.4.0.2-2+b1_amd64.deb                    24-Jan-2023 15:50             3920024
agda-bin_2.5.1.1-3+b3_amd64.deb                    24-Apr-2023 12:12             6169260
agda-bin_2.5.4.1-3+b1_amd64.deb                    15-Apr-2024 07:57             5868440
agda-mode_2.4.0.2-2_all.deb                        24-Jan-2023 15:52               88336
agda-mode_2.5.1.1-3_all.deb                        24-Apr-2023 11:23               79668
agda-mode_2.5.4.1-3_all.deb                        15-Apr-2024 08:10              117680
agda_2.4.0.2-2_all.deb                             24-Jan-2023 15:58               56362
agda_2.5.1.1-3_all.deb                             24-Apr-2023 12:20               80092
agda_2.5.4.1-3_all.deb                             15-Apr-2024 07:57              118104
elpa-agda2-mode_2.5.1.1-3_all.deb                  24-Apr-2023 12:05              115256
elpa-agda2-mode_2.5.4.1-3_all.deb                  15-Apr-2024 07:55              155444
libghc-agda-dev_2.4.0.2-2+b1_amd64.deb             24-Jan-2023 16:06             9793172
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb             24-Apr-2023 11:16            12846156
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb             15-Apr-2024 08:18            17170668
libghc-agda-doc_2.4.0.2-2_all.deb                  24-Jan-2023 15:47             1959856
libghc-agda-doc_2.5.1.1-3_all.deb                  24-Apr-2023 11:13             2649336
libghc-agda-doc_2.5.4.1-3_all.deb                  15-Apr-2024 08:00             3790832