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

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-bin_2.4.0.2-2+b1_amd64.deb	2014-09-08 02:27	3.7M
	agda-bin_2.5.1.1-3+b3_amd64.deb	2016-11-11 01:40	5.9M
	agda-bin_2.5.4.1-3+b1_amd64.deb	2018-12-04 18:59	5.6M
	agda-mode_2.4.0.2-2_all.deb	2014-08-11 19:28	86K
	agda-mode_2.5.1.1-3_all.deb	2016-10-29 08:56	78K
	agda-mode_2.5.4.1-3_all.deb	2018-10-21 05:57	115K
	agda_2.4.0.2-2.debian.tar.xz	2014-08-11 19:28	7.2K
	agda_2.4.0.2-2.dsc	2014-08-11 19:28	3.8K
	agda_2.4.0.2-2_all.deb	2014-08-11 19:28	55K
	agda_2.4.0.2.orig.tar.gz	2014-08-05 17:23	889K
	agda_2.5.1.1-3.debian.tar.xz	2016-10-28 08:24	8.8K
	agda_2.5.1.1-3.dsc	2016-10-28 08:24	4.1K
	agda_2.5.1.1-3_all.deb	2016-10-29 08:56	78K
	agda_2.5.1.1.orig.tar.gz	2016-10-17 04:43	1.1M
	agda_2.5.4.1-3.debian.tar.xz	2018-10-21 04:41	9.7K
	agda_2.5.4.1-3.dsc	2018-10-21 04:41	3.8K
	agda_2.5.4.1-3_all.deb	2018-10-21 05:57	115K
	agda_2.5.4.1.orig.tar.gz	2018-09-30 18:54	1.9M
	elpa-agda2-mode_2.5.1.1-3_all.deb	2016-10-29 08:56	113K
	elpa-agda2-mode_2.5.4.1-3_all.deb	2018-10-21 05:57	152K
	libghc-agda-dev_2.4.0.2-2+b1_amd64.deb	2014-09-08 02:27	9.3M
	libghc-agda-dev_2.5.1.1-3+b3_amd64.deb	2016-11-11 01:40	12M
	libghc-agda-dev_2.5.4.1-3+b1_amd64.deb	2018-12-04 18:59	16M
	libghc-agda-doc_2.4.0.2-2_all.deb	2014-08-11 19:28	1.9M
	libghc-agda-doc_2.5.1.1-3_all.deb	2016-10-29 08:56	2.5M
	libghc-agda-doc_2.5.4.1-3_all.deb	2018-10-21 05:57	3.6M