Index of /Mirrors/archive.tanglu.org/tanglu/pool/main/a/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	agda_2.3.2.2-1.dsc	2013-11-07 18:01	3.2K
	agda_2.3.2.2-1.debian.tar.gz	2013-11-07 18:01	7.2K
	agda_2.3.2.2.orig.tar.gz	2013-11-07 18:01	1.9M
	libghc-agda-dev_2.3.2.2-1_i386.deb	2014-01-26 14:03	7.5M
	agda-bin_2.3.2.2-1_i386.deb	2014-01-26 14:04	3.2M
	agda-mode_2.3.2.2-1_all.deb	2014-01-26 14:08	47K
	agda_2.3.2.2-1_all.deb	2014-01-26 14:08	17K
	libghc-agda-doc_2.3.2.2-1_all.deb	2014-01-26 14:08	1.4M
	libghc-agda-dev_2.3.2.2-1_amd64.deb	2014-01-26 14:08	7.6M
	agda-bin_2.3.2.2-1_amd64.deb	2014-01-26 14:08	3.3M
	agda_2.4.0.2.orig.tar.gz	2014-08-16 02:27	889K
	agda_2.4.0.2-2b1.dsc	2014-08-22 04:56	3.8K
	agda_2.4.0.2-2b1.debian.tar.xz	2014-08-22 04:56	7.3K
	libghc-agda-dev_2.4.0.2-2b1_i386.deb	2014-08-22 05:25	9.2M
	agda-bin_2.4.0.2-2b1_i386.deb	2014-08-22 05:25	3.6M
	libghc-agda-doc_2.4.0.2-2b1_all.deb	2014-08-22 21:12	1.9M
	agda-mode_2.4.0.2-2b1_all.deb	2014-08-22 21:12	87K
	agda_2.4.0.2-2b1_all.deb	2014-08-22 21:12	55K
	libghc-agda-dev_2.4.0.2-2b1_amd64.deb	2014-08-22 21:12	9.3M
	agda-bin_2.4.0.2-2b1_amd64.deb	2014-08-22 21:12	3.7M
	agda_2.4.0.2-2b2.dsc	2015-01-28 11:38	3.8K
	agda_2.4.0.2-2b2.debian.tar.xz	2015-01-28 11:38	7.3K
	libghc-agda-dev_2.4.0.2-2b2_i386.deb	2015-01-28 12:28	9.2M
	agda-bin_2.4.0.2-2b2_i386.deb	2015-01-28 12:28	3.6M
	libghc-agda-doc_2.4.0.2-2b2_all.deb	2015-01-28 17:58	1.9M
	agda-mode_2.4.0.2-2b2_all.deb	2015-01-28 17:58	87K
	agda_2.4.0.2-2b2_all.deb	2015-01-28 17:58	55K
	libghc-agda-dev_2.4.0.2-2b2_amd64.deb	2015-01-28 17:58	9.3M
	agda-bin_2.4.0.2-2b2_amd64.deb	2015-01-28 17:58	3.7M
	agda_2.4.2.5-1.dsc	2016-01-04 14:00	3.7K
	agda_2.4.2.5.orig.tar.gz	2016-01-04 14:00	1.0M
	agda_2.4.2.5-1.debian.tar.xz	2016-01-04 14:00	7.6K
	agda-bin_2.4.2.5-1_i386.deb	2016-06-30 19:33	4.6M
	libghc-agda-dev_2.4.2.5-1_i386.deb	2016-06-30 19:33	10M
	agda-bin_2.4.2.5-1_amd64.deb	2016-06-30 19:58	4.6M
	agda-mode_2.4.2.5-1_all.deb	2016-06-30 19:58	94K
	agda_2.4.2.5-1_all.deb	2016-06-30 19:58	62K
	libghc-agda-dev_2.4.2.5-1_amd64.deb	2016-06-30 19:58	10M
	libghc-agda-doc_2.4.2.5-1_all.deb	2016-06-30 19:58	2.1M