Loongnix操作系统源

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

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

File Name ↓		File Size ↓	Date ↓
Parent directory/		-	-
agda-stdlib_0.17.orig.tar.gz		388.0 KiB	2022-Mar-31 05:31
agda-stdlib_0.17-1.dsc		2.2 KiB	2022-Mar-31 05:31
agda-stdlib_0.17-1.debian.tar.xz		5.2 KiB	2022-Mar-31 05:31