Index of /mirror/debian-archive/pool/main/a/agda

	Name	Last modified	Size
	Parent Directory		-
	agda-mode_2.2.6-7_all.deb	2010-05-06 06:02	39K
	agda_2.2.6-7.debian.tar.gz	2010-05-06 06:02	5.2K
	agda_2.2.6-7.dsc	2010-05-06 06:02	2.2K
	agda_2.2.6.orig.tar.gz	2010-01-07 20:47	414K
	libghc6-agda-dev_2.2.6-7_amd64.deb	2010-05-06 06:02	9.6M
	libghc6-agda-dev_2.2.6-7_armel.deb	2010-05-06 23:47	16M
	libghc6-agda-dev_2.2.6-7_i386.deb	2010-05-06 09:17	9.1M
	libghc6-agda-dev_2.2.6-7_kfreebsd-amd64.deb	2010-05-06 08:32	9.6M
	libghc6-agda-dev_2.2.6-7_kfreebsd-i386.deb	2010-05-06 08:32	9.1M
	libghc6-agda-dev_2.2.6-7_mips.deb	2010-05-06 21:47	18M
	libghc6-agda-dev_2.2.6-7_mipsel.deb	2010-05-06 23:47	17M
	libghc6-agda-dev_2.2.6-7_powerpc.deb	2010-05-06 09:17	13M
	libghc6-agda-dev_2.2.6-7_s390.deb	2010-05-06 13:50	16M
	libghc6-agda-dev_2.2.6-7_sparc.deb	2010-05-13 00:47	17M
	libghc6-agda-doc_2.2.6-7_all.deb	2010-05-06 06:02	1.0M