Index of /pool/main/a/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-mode_2.3.0.1-2_all.deb	2012-05-26 21:32	45K
	agda-mode_2.4.0.2-2_all.deb	2014-08-11 11:28	86K
	agda_2.3.0.1-2_all.deb	2012-05-26 21:32	13K
	agda_2.4.0.2-2_all.deb	2014-08-11 11:28	55K
	libghc-agda-dev_2.3.0.1-2_armhf.deb	2012-06-23 00:08	17M
	libghc-agda-doc_2.3.0.1-2_all.deb	2012-05-26 21:32	1.7M
	libghc-agda-doc_2.4.0.2-2_all.deb	2014-08-11 11:28	1.9M