Index of /loongson/loongbian/pool/main/a/agda/

../
agda-bin_2.5.4.1-3_mips64el.deb                    07-Sep-2020 03:39     11M
agda-mode_2.5.4.1-3_all.deb                        20-Oct-2018 21:57    115K
agda_2.5.4.1-3.debian.tar.xz                       20-Oct-2018 20:41    9928
agda_2.5.4.1-3.dsc                                 20-Oct-2018 20:41    3870
agda_2.5.4.1-3_all.deb                             20-Oct-2018 21:57    115K
agda_2.5.4.1.orig.tar.gz                           30-Sep-2018 10:54      2M
elpa-agda2-mode_2.5.4.1-3_all.deb                  20-Oct-2018 21:57    152K
libghc-agda-dev_2.5.4.1-3_mips64el.deb             07-Sep-2020 03:39     23M
libghc-agda-doc_2.5.4.1-3_all.deb                  20-Oct-2018 21:57      4M