Loongnix操作系统源
访问地址 http://pkg.loongnix.cn
Directory: /loongnix/pool/main/a/agda/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
agda_2.5.4.1-3.dsc
3.8 KiB
2023-03-21 02:16
agda_2.5.4.1-3.debian.tar.xz
9.7 KiB
2023-03-21 02:16
agda_2.5.4.1.orig.tar.gz
1.9 MiB
2023-03-21 02:16