Index of /pool/main/a/agda/

../
agda-bin_2.5.4.1-3+b1_amd64.deb                    08-Apr-2019 11:10             5868440
agda-bin_2.5.4.1-3+b1_arm64.deb                    05-Nov-2020 16:11             6780816
agda-bin_2.5.4.1-3+b1_i386.deb                     05-Nov-2020 15:11             5946324
agda-bin_2.6.2.2-1.1_amd64.deb                     16-Feb-2023 22:42             7751992
agda-mode_2.5.4.1-3_all.deb                        08-Apr-2019 09:12              117680
agda_2.5.4.1-3.debian.tar.xz                       08-Apr-2019 11:07                9928
agda_2.5.4.1-3.dsc                                 08-Apr-2019 11:07                3870
agda_2.5.4.1-3_all.deb                             08-Apr-2019 11:59              118104
agda_2.5.4.1.orig.tar.gz                           08-Apr-2019 11:07             1989201
agda_2.6.2.2-1.1.debian.tar.xz                     16-Feb-2023 22:50               10496
agda_2.6.2.2-1.1.dsc                               16-Feb-2023 22:50                4426
agda_2.6.2.2-1.1_all.deb                           16-Feb-2023 22:37               12304
agda_2.6.2.2.orig.tar.gz                           16-Feb-2023 22:50             1690635
elpa-agda2-mode_2.5.4.1-3_all.deb                  08-Apr-2019 11:18              155444
elpa-agda2-mode_2.6.2.2-1.1_all.deb                16-Feb-2023 22:44               50944
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb             08-Apr-2019 10:40            17170668
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb             05-Nov-2020 16:15            19737352
libghc-agda-dev_2.5.4.1-3+b1_i386.deb              05-Nov-2020 15:13            16797896
libghc-agda-dev_2.6.2.2-1.1_amd64.deb              16-Feb-2023 22:42            24853036
libghc-agda-doc_2.5.4.1-3_all.deb                  08-Apr-2019 10:27             3790832
libghc-agda-doc_2.6.2.2-1.1_all.deb                16-Feb-2023 22:44             6599972