Index of /Mirrors4/debian.org/debian-ports/pool-alpha/main/a/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-bin_2.8.0-2_alp..>	2026-02-16 19:03	20M
	agda_2.8.0-2_alpha.b..>	2026-02-16 19:03	16K
	libghc-agda-dev_2.3...>	2012-07-03 16:10	23M
	libghc-agda-dev_2.8...>	2026-02-16 19:03	54M