Index of /debian/pool/contrib/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-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
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
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-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