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-bin_2.6.1-1+b2_amd64.deb                      07-Sep-2026 20:31             8910056
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
agda_2.6.1-1_all.deb                               07-Sep-2026 20:42               28736
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
elpa-agda2-mode_2.6.1-1_all.deb                    07-Sep-2026 20:31               66816
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-dev_2.6.1-1+b2_amd64.deb               07-Sep-2026 20:54            37948252
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
libghc-agda-doc_2.6.1-1_all.deb                    07-Sep-2026 20:23             5799636