Folder Path
/
deb
/
kylin-loongarch64
/
11.0-kylin
/
pool
/
restricted
/
a
/
agda
/
0
directories
2
files
12 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