Index of /kylin/desktop/releases/10/mips64el/pool/universe/a/agda/

../
agda-mode_2.6.0.1-1build4_all.deb                  19-Oct-2023 02:28     15K
agda_2.6.0.1-1build4_all.deb                       19-Oct-2023 02:28     16K
elpa-agda2-mode_2.6.0.1-1build4_all.deb            19-Oct-2023 02:28     52K
libghc-agda-doc_2.6.0.1-1build4_all.deb            19-Oct-2023 02:28      4M