Index of /pool/main-mips/a/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	agda_2.6.2.2-1.1.debian.tar.xz	2026-04-22 16:18	10K
	agda_2.6.2.2-1.1.dsc	2026-04-22 16:18	4.3K
	agda_2.6.2.2-1.1_all.deb	2026-04-22 15:50	12K
	agda_2.6.2.2.orig.tar.gz	2026-04-22 16:18	1.6M
	elpa-agda2-mode_2.6.2.2-1.1_all.deb	2026-04-22 16:04	50K
	libghc-agda-doc_2.6.2.2-1.1_all.deb	2026-04-22 16:28	6.3M