Folder Path
/
deb
/
uos-loongarch64
/
eagle-1070
/
pool
/
main
/
a
/
agda
/
0
directories
6
files
59 MiB
total
List
Grid
Name
Size
Modified
Up
agda-bin_2.5.4.1-3_loongarch64.deb
12 MiB
11/05/2024 05:26:31 PM +00:00
agda-mode_2.5.4.1-3_all.deb
115 KiB
11/05/2024 05:51:04 PM +00:00
agda_2.5.4.1-3_all.deb
115 KiB
11/05/2024 03:06:33 PM +00:00
elpa-agda2-mode_2.5.4.1-3_all.deb
152 KiB
11/05/2024 02:40:32 PM +00:00
libghc-agda-dev_2.5.4.1-3_loongarch64.deb
43 MiB
11/05/2024 06:12:40 PM +00:00
libghc-agda-doc_2.5.4.1-3_all.deb
3.6 MiB
11/05/2024 02:06:26 PM +00:00