Index of /debian-ports/pool-x32/main/a/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	libghc-agda-dev_2.6.1-1+b2_x32.deb	2021-10-04 12:03	67M
	agda-bin_2.6.1-1+b2_x32.deb	2021-10-04 12:03	33M
	agda_2.6.1-1+b2_x32.buildinfo	2021-10-04 12:03	12K