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

../
agda-bin_2.5.4.1-3+b1_amd64.deb                    08-Jan-2023 14:05             5868440
agda-bin_2.6.1-1+b2_amd64.deb                      08-Jan-2023 11:37             8910056
agda-bin_2.6.2.2-1.1_amd64.deb                     01-Aug-2023 12:47             7751992
agda-mode_2.5.4.1-3_all.deb                        08-Jan-2023 13:49              117680
agda_2.5.4.1-3_all.deb                             08-Jan-2023 14:18              118104
agda_2.6.1-1_all.deb                               08-Jan-2023 12:27               28736
agda_2.6.2.2-1.1_all.deb                           01-Aug-2023 12:30               12304
elpa-agda2-mode_2.5.4.1-3_all.deb                  08-Jan-2023 14:22              155444
elpa-agda2-mode_2.6.1-1_all.deb                    08-Jan-2023 12:33               66816
elpa-agda2-mode_2.6.2.2-1.1_all.deb                01-Aug-2023 12:22               50944
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb             08-Jan-2023 14:08            17170668
libghc-agda-dev_2.6.1-1+b2_amd64.deb               08-Jan-2023 11:34            37948252
libghc-agda-dev_2.6.2.2-1.1_amd64.deb              01-Aug-2023 13:02            24853036
libghc-agda-doc_2.5.4.1-3_all.deb                  08-Jan-2023 13:20             3790832
libghc-agda-doc_2.6.1-1_all.deb                    08-Jan-2023 12:30             5799636
libghc-agda-doc_2.6.2.2-1.1_all.deb                01-Aug-2023 12:39             6599972