Index of /software/unix/Linux/debian-archive/debian/pool/main/a/agda

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