Loongnix操作系统源

访问地址 http://pkg.loongnix.cn

Directory: /loongnix/pool/main/a/agda/

File Name ↓		File Size ↓	Date ↓
Parent directory/		-	-
agda_2.5.4.1-3.debian.tar.xz		9.7 KiB	2023-03-21 02:16
agda_2.5.4.1-3.dsc		3.8 KiB	2023-03-21 02:16
agda_2.5.4.1.orig.tar.gz		1.9 MiB	2023-03-21 02:16