Folder Path
/
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
04/02/2026 07:44:36 PM +00:00
agda_2.6.3-ok1_all.deb
5.0 KiB
04/02/2026 04:47:13 PM +00:00
elpa-agda2-mode_2.6.3-ok1_all.deb
43 KiB
04/02/2026 12:38:23 PM +00:00
libghc-agda-dev_2.6.3-ok1_loong64.deb
38 MiB
04/02/2026 01:12:06 PM +00:00
libghc-agda-doc_2.6.3-ok1_all.deb
6.7 MiB
04/02/2026 10:00:06 PM +00:00