agda

	Name	Size	Modified
	..	—	—
	agda_2.5.4.1-3.debian.tar.xz	9 KB	Wed Mar 12 01:19:03 2025
	agda_2.5.4.1-3.dsc	3 KB	Wed Mar 12 01:19:02 2025
	agda_2.5.4.1.orig.tar.gz	1 MB	Wed Mar 12 01:19:03 2025