Index of /raspbian/pool/main/a/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	agda_2.4.0.2-2_all.deb	2014-08-11 11:28	55K
	agda-mode_2.4.0.2-2_all.deb	2014-08-11 11:28	86K
	libghc-agda-doc_2.4.0.2-2_all.deb	2014-08-11 11:28	1.9M