Index of /debian/pool/non-free/a/agda/

../
agda-bin_2.5.1.1-3+b3_amd64.deb                    08-Jan-2023 17:53             6169260
agda-bin_2.5.1.1-3+b3_i386.deb                     08-Jan-2023 17:47             6301232
agda-bin_2.5.4.1-3+b1_amd64.deb                    08-Jan-2023 14:05             5868440
agda-bin_2.5.4.1-3+b1_i386.deb                     08-Jan-2023 13:45             5946324
agda-bin_2.6.1-1+b2_amd64.deb                      08-Jan-2023 11:37             8910056
agda-bin_2.6.1-1+b2_i386.deb                       08-Jan-2023 12:15             8967940
agda-bin_2.6.2.2-1.1_amd64.deb                     01-Aug-2023 12:47             7751992
agda-mode_2.5.1.1-3_all.deb                        08-Jan-2023 18:14               79668
agda-mode_2.5.4.1-3_all.deb                        08-Jan-2023 13:49              117680
agda_2.5.1.1-3_all.deb                             08-Jan-2023 17:36               80092
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.1.1-3_all.deb                  08-Jan-2023 17:49              115256
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.1.1-3+b3_amd64.deb             08-Jan-2023 17:46            12846156
libghc-agda-dev_2.5.1.1-3+b3_i386.deb              08-Jan-2023 17:57            14325888
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb             08-Jan-2023 14:08            17170668
libghc-agda-dev_2.5.4.1-3+b1_i386.deb              08-Jan-2023 14:28            16797896
libghc-agda-dev_2.6.1-1+b2_amd64.deb               08-Jan-2023 11:34            37948252
libghc-agda-dev_2.6.1-1+b2_i386.deb                08-Jan-2023 11:21            38089964
libghc-agda-dev_2.6.2.2-1.1_amd64.deb              01-Aug-2023 13:02            24853036
libghc-agda-doc_2.5.1.1-3_all.deb                  08-Jan-2023 17:54             2649336
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