Index of /pool/universe/a/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-mode_2.2.6-3_all.deb	04-Mar-2010 10:05	38K
	agda-mode_2.2.6-7build1_all.deb	26-May-2010 05:04	39K
	agda-mode_2.2.10-1~ubuntu1_all.deb	24-Feb-2011 14:05	39K
	agda-mode_2.2.10-3build1_all.deb	09-Jul-2011 18:06	39K
	agda-mode_2.3.0.1-1build2_all.deb	21-Apr-2012 13:03	40K
	agda_2.2.6-3.diff.gz	04-Mar-2010 10:05	5.2K
	agda_2.2.6-3.dsc	04-Mar-2010 10:05	2.7K
	agda_2.2.6-7build1.debian.tar.gz	26-May-2010 05:04	5.2K
	agda_2.2.6-7build1.dsc	26-May-2010 05:04	2.3K
	agda_2.2.6.orig.tar.gz	02-Feb-2010 17:04	414K
	agda_2.2.10-1~ubuntu1.debian.tar.gz	24-Feb-2011 14:05	8.2K
	agda_2.2.10-1~ubuntu1.dsc	24-Feb-2011 14:05	3.1K
	agda_2.2.10-3build1.debian.tar.gz	09-Jul-2011 18:06	7.5K
	agda_2.2.10-3build1.dsc	09-Jul-2011 18:06	3.1K
	agda_2.2.10-3build1_all.deb	09-Jul-2011 18:06	2.9K
	agda_2.2.10.orig.tar.gz	24-Feb-2011 14:05	506K
	agda_2.3.0.1-1build2.debian.tar.gz	21-Apr-2012 12:33	6.5K
	agda_2.3.0.1-1build2.dsc	21-Apr-2012 12:33	3.0K
	agda_2.3.0.1-1build2_all.deb	21-Apr-2012 13:03	2.9K
	agda_2.3.0.1.orig.tar.gz	18-Mar-2012 08:03	598K
	haskell-agda-doc_2.2.6-3_all.deb	04-Mar-2010 10:05	1.0M
	libghc-agda-dev_2.2.10-3build1_amd64.deb	09-Jul-2011 18:06	10M
	libghc-agda-dev_2.2.10-3build1_i386.deb	09-Jul-2011 18:06	9.7M
	libghc-agda-dev_2.3.0.1-1build2_amd64.deb	21-Apr-2012 13:03	12M
	libghc-agda-dev_2.3.0.1-1build2_i386.deb	21-Apr-2012 13:03	12M
	libghc-agda-doc_2.2.10-3build1_all.deb	09-Jul-2011 18:06	1.4M
	libghc-agda-doc_2.3.0.1-1build2_all.deb	21-Apr-2012 13:03	1.6M
	libghc6-agda-dev_2.2.6-3_amd64.deb	04-Mar-2010 10:05	9.6M
	libghc6-agda-dev_2.2.6-3_i386.deb	04-Mar-2010 10:06	9.1M
	libghc6-agda-dev_2.2.6-7build1_amd64.deb	26-May-2010 08:05	9.6M
	libghc6-agda-dev_2.2.6-7build1_i386.deb	26-May-2010 05:05	9.1M
	libghc6-agda-dev_2.2.10-1~ubuntu1_amd64.deb	24-Feb-2011 17:05	11M
	libghc6-agda-dev_2.2.10-1~ubuntu1_i386.deb	24-Feb-2011 14:06	10M
	libghc6-agda-doc_2.2.6-7build1_all.deb	26-May-2010 05:04	1.0M
	libghc6-agda-doc_2.2.10-1~ubuntu1_all.deb	24-Feb-2011 14:05	1.2M
	libghc6-agda-prof_2.2.6-3_amd64.deb	04-Mar-2010 10:05	14M
	libghc6-agda-prof_2.2.6-3_i386.deb	04-Mar-2010 10:06	13M