agda-stdlib

	Name	Size	Modified
	..	—	—
	agda-stdlib_0.17-1.debian.tar.xz	5 KB	Tue Mar 21 15:16:21 2023
	agda-stdlib_0.17-1.dsc	2 KB	Tue Mar 21 15:16:21 2023
	agda-stdlib_0.17.orig.tar.gz	388 KB	Tue Mar 21 15:16:21 2023