Index of /pub/linux/deepin/apricot/pool/main/a/agda-stdlib/

Filename	Modification time	Size
agda-stdlib-doc_0.17-1_all.deb	2022-04-11 05:04 CEST	1361 KiB
agda-stdlib_0.17-1.debian.tar.xz	2022-04-11 05:26 CEST	5312 B
agda-stdlib_0.17-1.dsc	2022-04-11 05:26 CEST	2234 B
agda-stdlib_0.17-1_all.deb	2022-04-11 05:08 CEST	31 MiB
agda-stdlib_0.17.orig.tar.gz	2022-04-11 05:26 CEST	388 KiB