Index of /ubuntu/pool/universe/a/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	libghc-agda-dev_2.3.2.2-1_amd64.deb	2013-11-07 00:28	13M
	libghc-agda-dev_2.3.2.2-1_i386.deb	2013-11-07 00:28	12M
	libghc-agda-dev_2.4.2.5-1build1_amd64.deb	2016-01-13 05:59	10M
	libghc-agda-dev_2.4.2.5-1build1_i386.deb	2016-01-13 05:45	10M
	agda-bin_2.3.2.2-1_amd64.deb	2013-11-07 00:28	5.2M
	agda-bin_2.3.2.2-1_i386.deb	2013-11-07 00:28	4.9M
	agda-bin_2.4.2.5-1build1_amd64.deb	2016-01-13 05:59	4.6M
	agda-bin_2.4.2.5-1build1_i386.deb	2016-01-13 05:45	4.6M
	libghc-agda-doc_2.3.2.2-1_all.deb	2013-11-07 00:28	2.1M
	libghc-agda-doc_2.4.2.5-1build1_all.deb	2016-01-13 05:59	2.1M
	agda-mode_2.3.2.2-1_all.deb	2013-11-07 00:28	47K
	agda-mode_2.4.2.5-1build1_all.deb	2016-01-13 05:59	36K
	agda_2.3.2.2-1_all.deb	2013-11-07 00:28	2.9K
	agda_2.4.2.5-1build1_all.deb	2016-01-13 05:59	2.9K