Index of /debian/pool/main/a/agda

	Name	Last modified	Size
	Parent Directory		-
	agda-bin_2.4.0.2-2+b1_amd64.deb	2014-09-07 20:27	3.7M
	agda-bin_2.4.0.2-2+b1_i386.deb	2014-09-08 09:57	3.6M
	agda-bin_2.4.0.2-2+b1_kfreebsd-amd64.deb	2014-09-08 09:57	4.3M
	agda-bin_2.4.0.2-2+b1_kfreebsd-i386.deb	2014-09-08 09:47	4.1M
	agda-bin_2.4.0.2-2+b1_powerpc.deb	2014-09-08 10:12	3.4M
	agda-bin_2.4.2.5-1+b1_amd64.deb	2016-01-13 02:05	4.6M
	agda-bin_2.4.2.5-1+b1_arm64.deb	2016-01-13 04:32	7.7M
	agda-bin_2.4.2.5-1+b1_hurd-i386.deb	2016-05-26 14:23	5.5M
	agda-bin_2.4.2.5-1+b1_i386.deb	2016-01-13 01:45	4.6M
	agda-bin_2.4.2.5-1+b1_powerpc.deb	2016-01-13 02:20	4.1M
	agda-bin_2.4.2.5-1+b1_ppc64el.deb	2016-01-13 02:35	6.5M
	agda-bin_2.4.2.5-1+b1_s390x.deb	2016-01-13 02:30	12M
	agda-bin_2.4.2.5-1+b2_amd64.deb	2016-05-26 14:58	4.6M
	agda-bin_2.4.2.5-1+b2_arm64.deb	2016-05-26 20:33	7.7M
	agda-bin_2.4.2.5-1+b2_i386.deb	2016-05-26 14:58	4.6M
	agda-bin_2.4.2.5-1+b2_kfreebsd-amd64.deb	2016-05-26 21:28	5.5M
	agda-bin_2.4.2.5-1+b2_kfreebsd-i386.deb	2016-05-26 15:59	5.5M
	agda-bin_2.4.2.5-1+b2_powerpc.deb	2016-05-26 15:18	4.1M
	agda-bin_2.4.2.5-1+b2_ppc64el.deb	2016-05-26 17:26	6.5M
	agda-bin_2.4.2.5-1+b2_s390x.deb	2016-05-26 16:29	12M
	agda-bin_2.4.2.5-1_mips64el.deb	2016-01-05 13:05	9.1M
	agda-mode_2.3.0.1-2_all.deb	2012-05-26 23:32	45K
	agda-mode_2.4.0.2-2_all.deb	2014-08-11 13:28	86K
	agda-mode_2.4.2.5-1_all.deb	2016-01-04 17:49	94K
	agda_2.3.0.1-2.debian.tar.gz	2012-05-26 23:32	6.7K
	agda_2.3.0.1-2.dsc	2012-05-26 23:32	2.3K
	agda_2.3.0.1-2_all.deb	2012-05-26 23:32	13K
	agda_2.3.0.1.orig.tar.gz	2012-03-12 14:32	598K
	agda_2.4.0.2-2.debian.tar.xz	2014-08-11 13:28	7.2K
	agda_2.4.0.2-2.dsc	2014-08-11 13:28	3.8K
	agda_2.4.0.2-2_all.deb	2014-08-11 13:28	55K
	agda_2.4.0.2.orig.tar.gz	2014-08-05 11:23	889K
	agda_2.4.2.5-1.debian.tar.xz	2016-01-04 14:00	7.6K
	agda_2.4.2.5-1.dsc	2016-01-04 14:00	3.7K
	agda_2.4.2.5-1_all.deb	2016-01-04 17:49	62K
	agda_2.4.2.5.orig.tar.gz	2016-01-04 14:00	1.0M
	libghc-agda-dev_2.3.0.1-2+b1_amd64.deb	2012-05-28 01:02	12M
	libghc-agda-dev_2.3.0.1-2_armel.deb	2012-05-27 23:33	17M
	libghc-agda-dev_2.3.0.1-2_armhf.deb	2012-05-27 09:32	18M
	libghc-agda-dev_2.3.0.1-2_i386.deb	2012-05-27 00:32	12M
	libghc-agda-dev_2.3.0.1-2_kfreebsd-amd64.deb	2012-05-27 07:17	12M
	libghc-agda-dev_2.3.0.1-2_kfreebsd-i386.deb	2012-05-27 07:32	12M
	libghc-agda-dev_2.3.0.1-2_powerpc.deb	2012-05-27 01:47	16M
	libghc-agda-dev_2.3.0.1-2_s390x.deb	2012-05-27 09:32	23M
	libghc-agda-dev_2.3.0.1-2_sparc.deb	2012-06-02 17:17	24M
	libghc-agda-dev_2.4.0.2-2+b1_amd64.deb	2014-09-07 20:27	9.3M
	libghc-agda-dev_2.4.0.2-2+b1_i386.deb	2014-09-08 09:57	9.2M
	libghc-agda-dev_2.4.0.2-2+b1_kfreebsd-amd64.deb	2014-09-08 09:57	9.3M
	libghc-agda-dev_2.4.0.2-2+b1_kfreebsd-i386.deb	2014-09-08 09:47	9.2M
	libghc-agda-dev_2.4.0.2-2+b1_powerpc.deb	2014-09-08 10:12	9.2M
	libghc-agda-dev_2.4.2.5-1+b1_amd64.deb	2016-01-13 02:05	10M
	libghc-agda-dev_2.4.2.5-1+b1_arm64.deb	2016-01-13 04:32	16M
	libghc-agda-dev_2.4.2.5-1+b1_hurd-i386.deb	2016-05-26 14:23	10M
	libghc-agda-dev_2.4.2.5-1+b1_i386.deb	2016-01-13 01:45	10M
	libghc-agda-dev_2.4.2.5-1+b1_powerpc.deb	2016-01-13 02:20	10M
	libghc-agda-dev_2.4.2.5-1+b1_ppc64el.deb	2016-01-13 02:35	16M
	libghc-agda-dev_2.4.2.5-1+b1_s390x.deb	2016-01-13 02:30	20M
	libghc-agda-dev_2.4.2.5-1+b2_amd64.deb	2016-05-26 14:58	10M
	libghc-agda-dev_2.4.2.5-1+b2_arm64.deb	2016-05-26 20:33	16M
	libghc-agda-dev_2.4.2.5-1+b2_i386.deb	2016-05-26 14:58	10M
	libghc-agda-dev_2.4.2.5-1+b2_kfreebsd-amd64.deb	2016-05-26 21:28	10M
	libghc-agda-dev_2.4.2.5-1+b2_kfreebsd-i386.deb	2016-05-26 15:59	10M
	libghc-agda-dev_2.4.2.5-1+b2_powerpc.deb	2016-05-26 15:18	10M
	libghc-agda-dev_2.4.2.5-1+b2_ppc64el.deb	2016-05-26 17:26	16M
	libghc-agda-dev_2.4.2.5-1+b2_s390x.deb	2016-05-26 16:29	20M
	libghc-agda-dev_2.4.2.5-1_mips64el.deb	2016-01-05 13:05	15M
	libghc-agda-doc_2.3.0.1-2_all.deb	2012-05-26 23:32	1.7M
	libghc-agda-doc_2.4.0.2-2_all.deb	2014-08-11 13:28	1.9M
	libghc-agda-doc_2.4.2.5-1_all.deb	2016-01-04 17:49	2.1M