Index of /spark/pool/main/a/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-mode_2.4.0.2-2_all.deb	2015-11-22 17:44	86K
	agda_2.4.0.2-2_all.deb	2015-11-22 17:50	55K
	libghc-agda-doc_2.4.0.2-2_all.deb	2015-11-22 19:12	1.9M