Folder Path
/
deepin
/
pool
/
main
/
a
/
agda-stdlib
/
0
directories
5
files
33 MiB
total
List
Grid
Name
Size
Modified
Up
agda-stdlib-doc_0.17-1_all.deb
1.3 MiB
04/11/2022 03:04:25 AM +00:00
agda-stdlib_0.17-1.debian.tar.xz
5.2 KiB
04/11/2022 03:26:08 AM +00:00
agda-stdlib_0.17-1.dsc
2.2 KiB
04/11/2022 03:26:08 AM +00:00
agda-stdlib_0.17-1_all.deb
32 MiB
04/11/2022 03:08:14 AM +00:00
agda-stdlib_0.17.orig.tar.gz
388 KiB
04/11/2022 03:26:08 AM +00:00