Index of /loongson64/pool/main/a/agda/

../
agda-bin_2.5.1.1-3_mips64el.deb                    24-Apr-2019 17:08      9M
agda-mode_2.5.1.1-3_all.deb                        24-Apr-2019 17:08     78K
agda_2.5.1.1-3.debian.tar.xz                       24-Apr-2019 17:08    9020
agda_2.5.1.1-3.dsc                                 24-Apr-2019 17:08    4210
agda_2.5.1.1-3_all.deb                             24-Apr-2019 17:08     78K
agda_2.5.1.1.orig.tar.gz                           24-Apr-2019 17:08      1M
elpa-agda2-mode_2.5.1.1-3_all.deb                  24-Apr-2019 17:08    113K
libghc-agda-dev_2.5.1.1-3_mips64el.deb             24-Apr-2019 17:08     18M
libghc-agda-doc_2.5.1.1-3_all.deb                  24-Apr-2019 17:08      3M