Index of /livecdroom/source/debiandog/main/a/agda

	Name	Last modified	Size	Description
	Parent Directory		-
	agda_2.3.0.1-2.debian.tar.gz	2017-11-19 15:17	6.7K
	agda_2.3.0.1-2.dsc	2017-11-19 15:17	2.3K
	agda_2.3.0.1.orig.tar.gz	2017-11-19 15:17	598K
	agda_2.3.2.2-1.debian.tar.gz	2015-07-24 20:08	7.2K
	agda_2.3.2.2-1.dsc	2015-07-24 20:08	3.2K
	agda_2.3.2.2.orig.tar.gz	2015-07-24 20:08	1.9M
	agda_2.4.0.2-2.debian.tar.xz	2015-07-24 20:08	7.2K
	agda_2.4.0.2-2.dsc	2015-07-24 20:08	3.8K
	agda_2.4.0.2.orig.tar.gz	2015-07-24 20:08	889K
	agda_2.4.2.2-3.debian.tar.xz	2015-07-24 20:08	8.2K
	agda_2.4.2.2-3.dsc	2015-07-24 20:08	3.5K
	agda_2.4.2.2.orig.tar.gz	2015-07-24 20:08	941K
	agda_2.5.1.1-3.debian.tar.xz	2017-08-07 04:50	8.8K
	agda_2.5.1.1-3.dsc	2017-08-07 04:50	4.1K
	agda_2.5.1.1.orig.tar.gz	2017-08-07 04:50	1.1M
	agda_2.5.2-2.debian.tar.xz	2017-08-07 04:50	8.8K
	agda_2.5.2-2.dsc	2017-08-07 04:50	4.0K
	agda_2.5.2.orig.tar.gz	2017-08-07 04:50	1.2M
	agda_2.5.3-3.debian.tar.xz	2017-11-19 15:17	9.5K
	agda_2.5.3-3.dsc	2017-11-19 15:17	4.5K
	agda_2.5.3.orig.tar.gz	2017-11-19 15:17	1.1M
	agda_2.5.4.1-3.debian.tar.xz	2019-09-04 14:25	9.7K
	agda_2.5.4.1-3.dsc	2019-09-04 14:25	3.8K
	agda_2.5.4.1.orig.tar.gz	2019-09-04 14:25	1.9M
	agda_2.6.0.1-1.debian.tar.xz	2019-09-04 14:25	9.8K
	agda_2.6.0.1-1.dsc	2019-09-04 14:25	4.1K
	agda_2.6.0.1.orig.tar.gz	2019-09-04 14:25	2.3M
	agda_2.6.1-1.debian.tar.xz	2021-09-22 13:04	9.8K
	agda_2.6.1-1.dsc	2021-09-22 13:04	4.1K
	agda_2.6.1.orig.tar.gz	2021-09-22 13:04	2.5M
	agda_2.6.2.2-1.1.debian.tar.xz	2023-07-15 13:50	10K
	agda_2.6.2.2-1.1.dsc	2023-07-15 13:50	4.3K
	agda_2.6.2.2.orig.tar.gz	2023-07-15 13:50	1.6M