Index of /pub/trisquel-archive/trisquel/pool/main/a/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-bin_2.3.2.2-1_amd64.deb	2013-11-06 12:28	5.2M
	agda-bin_2.3.2.2-1_i386.deb	2013-11-06 12:28	4.9M
	agda-mode_2.3.2.2-1_all.deb	2013-11-06 12:28	47K
	agda_2.2.4+dfsg-1.diff.gz	2009-08-24 07:04	4.0K
	agda_2.2.4+dfsg-1.dsc	2009-08-24 07:04	3.0K
	agda_2.2.4+dfsg.orig.tar.gz	2009-08-24 07:04	369K
	agda_2.2.6-3.diff.gz	2010-03-04 10:05	5.2K
	agda_2.2.6-3.dsc	2010-03-04 10:05	2.7K
	agda_2.2.6-7build1.debian.tar.gz	2010-05-26 05:04	5.2K
	agda_2.2.6-7build1.dsc	2010-05-26 05:04	2.3K
	agda_2.2.6.orig.tar.gz	2010-02-02 17:04	414K
	agda_2.2.10-1~ubuntu1.debian.tar.gz	2011-02-24 14:05	8.2K
	agda_2.2.10-1~ubuntu1.dsc	2011-02-24 14:05	3.1K
	agda_2.2.10-3build1.debian.tar.gz	2011-07-09 18:06	7.5K
	agda_2.2.10-3build1.dsc	2011-07-09 18:06	3.1K
	agda_2.2.10.orig.tar.gz	2011-02-24 14:05	506K
	agda_2.3.0.1-1build2.debian.tar.gz	2012-04-21 12:33	6.5K
	agda_2.3.0.1-1build2.dsc	2012-04-21 12:33	3.0K
	agda_2.3.0.1.orig.tar.gz	2012-03-18 08:03	598K
	agda_2.3.2.2-1.debian.tar.gz	2013-11-06 12:28	7.2K
	agda_2.3.2.2-1.dsc	2013-11-06 12:28	3.2K
	agda_2.3.2.2-1_all.deb	2013-11-06 12:28	2.9K
	agda_2.3.2.2.orig.tar.gz	2013-11-06 12:28	1.9M
	libghc-agda-dev_2.3.2.2-1_amd64.deb	2013-11-06 12:28	13M
	libghc-agda-dev_2.3.2.2-1_i386.deb	2013-11-06 12:28	12M
	libghc-agda-doc_2.3.2.2-1_all.deb	2013-11-06 12:28	2.1M