/deb/kylin-loongarch64/11.0-kylin/pool/universe/a/agda/

0 directories 5 files 57 MiB total
List Grid
Name
Size Modified
Up
agda-bin_2.6.3-ok1_loong64.deb
12 MiB
agda_2.6.3-ok1_all.deb
5.0 KiB
elpa-agda2-mode_2.6.3-ok1_all.deb
43 KiB
libghc-agda-dev_2.6.3-ok1_loong64.deb
38 MiB
libghc-agda-doc_2.6.3-ok1_all.deb
6.7 MiB