Index of /trusty/pool/universe/a/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-bin_2.3.2.2-1_amd64.deb	2013-11-06 18:28	5.2M
	agda-mode_2.3.2.2-1_all.deb	2013-11-06 18:28	47K
	agda_2.3.2.2-1.debian.tar.gz	2013-11-06 18:28	7.2K
	agda_2.3.2.2-1.dsc	2013-11-06 18:28	3.2K
	agda_2.3.2.2-1_all.deb	2013-11-06 18:28	2.9K
	agda_2.3.2.2.orig.tar.gz	2013-11-06 18:28	1.9M
	libghc-agda-dev_2.3.2.2-1_amd64.deb	2013-11-06 18:28	13M
	libghc-agda-doc_2.3.2.2-1_all.deb	2013-11-06 18:28	2.1M