Index of /ports.ubuntu.com/ubuntu-ports/pool/universe/a/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-bin_2.3.2-1_armhf.deb	2013-04-10 13:03	7.1M
	agda-mode_2.3.0.1-1build2_all.deb	2012-04-21 10:03	40K
	agda-mode_2.3.0.1-2build1_all.deb	2012-08-27 05:33	44K
	agda-mode_2.3.2-1_all.deb	2013-04-10 11:03	44K
	agda-mode_2.3.2.1-1_all.deb	2013-06-16 17:03	44K
	agda-mode_2.3.2.2-1_all.deb	2013-11-06 09:28	47K
	agda_2.3.0.1-1build2.debian.tar.gz	2012-04-21 09:33	6.5K
	agda_2.3.0.1-1build2.dsc	2012-04-21 09:33	3.0K
	agda_2.3.0.1-1build2_all.deb	2012-04-21 10:03	2.9K
	agda_2.3.0.1-2build1.debian.tar.gz	2012-08-27 05:33	6.8K
	agda_2.3.0.1-2build1.dsc	2012-08-27 05:33	3.0K
	agda_2.3.0.1-2build1_all.deb	2012-08-27 05:33	2.9K
	agda_2.3.0.1.orig.tar.gz	2012-03-18 05:03	598K
	agda_2.3.2-1.debian.tar.gz	2013-04-10 10:33	7.1K
	agda_2.3.2-1.dsc	2013-04-10 10:33	3.3K
	agda_2.3.2-1_all.deb	2013-04-10 11:03	2.9K
	agda_2.3.2.1-1.debian.tar.gz	2013-06-16 16:33	7.1K
	agda_2.3.2.1-1.dsc	2013-06-16 16:33	3.2K
	agda_2.3.2.1-1_all.deb	2013-06-16 17:03	2.9K
	agda_2.3.2.1.orig.tar.gz	2013-06-16 16:33	713K
	agda_2.3.2.2-1.debian.tar.gz	2013-11-06 09:28	7.2K
	agda_2.3.2.2-1.dsc	2013-11-06 09:28	3.2K
	agda_2.3.2.2-1_all.deb	2013-11-06 09:28	2.9K
	agda_2.3.2.2.orig.tar.gz	2013-11-06 09:28	1.9M
	agda_2.3.2.orig.tar.gz	2013-04-10 10:33	709K
	libghc-agda-dev_2.3.0.1-1build2_armhf.deb	2012-04-21 11:33	18M
	libghc-agda-dev_2.3.0.1-2build1_armhf.deb	2012-08-27 07:33	18M
	libghc-agda-dev_2.3.2-1_armhf.deb	2013-04-10 13:03	18M
	libghc-agda-doc_2.3.0.1-1build2_all.deb	2012-04-21 10:03	1.6M
	libghc-agda-doc_2.3.0.1-2build1_all.deb	2012-08-27 05:33	1.7M
	libghc-agda-doc_2.3.2-1_all.deb	2013-04-10 11:03	2.1M
	libghc-agda-doc_2.3.2.1-1_all.deb	2013-06-16 17:03	2.1M
	libghc-agda-doc_2.3.2.2-1_all.deb	2013-11-06 09:28	2.1M