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

../
agda-bin_2.5.1.1-3+b3_i386.deb                     26-Apr-2023 13:38      6M
agda-mode_2.2.6-7_all.deb                          26-Apr-2023 10:34     39K
agda-mode_2.5.1.1-3_all.deb                        26-Apr-2023 13:38     78K
agda_2.2.6-7.debian.tar.gz                         26-Apr-2023 10:34    5315
agda_2.2.6-7.dsc                                   26-Apr-2023 10:34    2294
agda_2.2.6.orig.tar.gz                             26-Apr-2023 10:34    414K
agda_2.5.1.1-3.debian.tar.xz                       26-Apr-2023 13:38    9020
agda_2.5.1.1-3.dsc                                 26-Apr-2023 13:38    4210
agda_2.5.1.1-3_all.deb                             26-Apr-2023 13:38     78K
agda_2.5.1.1.orig.tar.gz                           26-Apr-2023 13:38      1M
elpa-agda2-mode_2.5.1.1-3_all.deb                  26-Apr-2023 13:38    113K
libghc-agda-dev_2.5.1.1-3+b3_i386.deb              26-Apr-2023 13:38     14M
libghc-agda-doc_2.5.1.1-3_all.deb                  26-Apr-2023 13:38      3M
libghc6-agda-dev_2.2.6-7_i386.deb                  26-Apr-2023 10:34      9M
libghc6-agda-doc_2.2.6-7_all.deb                   26-Apr-2023 10:34      1M