Loongnix操作系统源
访问地址 http://pkg.loongnix.cn
Directory: /loongnix/pool/main/a/agda-stdlib/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
agda-stdlib_0.17-1.dsc
2.2 KiB
2023-03-21 02:16
agda-stdlib_0.17.orig.tar.gz
388.0 KiB
2023-03-21 02:16
agda-stdlib_0.17-1.debian.tar.xz
5.2 KiB
2023-03-21 02:16