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

	Name	Last modified	Size	Description
	Parent Directory		-
	agda_2.2.6.orig.tar.gz	2010-02-02 16:04	414K
	agda_2.2.6-3.diff.gz	2010-03-04 09:05	5.2K
	agda_2.2.6-3.dsc	2010-03-04 09:05	2.7K
	agda-mode_2.2.6-3_all.deb	2010-03-04 09:05	38K
	haskell-agda-doc_2.2.6-3_all.deb	2010-03-04 09:05	1.0M
	libghc6-agda-dev_2.2.6-3_amd64.deb	2010-03-04 09:05	9.6M
	libghc6-agda-prof_2.2.6-3_amd64.deb	2010-03-04 09:05	14M
	libghc6-agda-dev_2.2.6-3_i386.deb	2010-03-04 09:06	9.1M
	libghc6-agda-prof_2.2.6-3_i386.deb	2010-03-04 09:06	13M
	agda_2.3.0.1.orig.tar.gz	2012-03-18 07:03	598K
	agda_2.3.0.1-1build2.debian.tar.gz	2012-04-21 11:33	6.5K
	agda_2.3.0.1-1build2.dsc	2012-04-21 11:33	3.0K
	libghc-agda-doc_2.3.0.1-1build2_all.deb	2012-04-21 12:03	1.6M
	agda-mode_2.3.0.1-1build2_all.deb	2012-04-21 12:03	40K
	agda_2.3.0.1-1build2_all.deb	2012-04-21 12:03	2.9K
	libghc-agda-dev_2.3.0.1-1build2_amd64.deb	2012-04-21 12:03	12M
	libghc-agda-dev_2.3.0.1-1build2_i386.deb	2012-04-21 12:03	12M
	agda_2.3.2.2-1.debian.tar.gz	2013-11-06 11:28	7.2K
	agda_2.3.2.2-1.dsc	2013-11-06 11:28	3.2K
	agda_2.3.2.2.orig.tar.gz	2013-11-06 11:28	1.9M
	agda-bin_2.3.2.2-1_amd64.deb	2013-11-06 11:28	5.2M
	libghc-agda-dev_2.3.2.2-1_amd64.deb	2013-11-06 11:28	13M
	agda-mode_2.3.2.2-1_all.deb	2013-11-06 11:28	47K
	libghc-agda-doc_2.3.2.2-1_all.deb	2013-11-06 11:28	2.1M
	agda_2.3.2.2-1_all.deb	2013-11-06 11:28	2.9K
	libghc-agda-dev_2.3.2.2-1_i386.deb	2013-11-06 11:28	12M
	agda-bin_2.3.2.2-1_i386.deb	2013-11-06 11:28	4.9M