agda-stdlib

	Name	Size	Modified
	..	—	—
	agda-stdlib-doc_2.1-4_all.deb	3 MB	Mon Sep 22 17:09:27 2025
	agda-stdlib_2.1-4.debian.tar.xz	5 KB	Mon Sep 22 17:09:27 2025
	agda-stdlib_2.1-4.dsc	1 KB	Mon Sep 22 17:09:27 2025
	agda-stdlib_2.1-4_all.deb	137 MB	Mon Sep 22 17:09:27 2025
	agda-stdlib_2.1.orig.tar.gz	1 MB	Mon Sep 22 17:09:27 2025