Index of /changelogs/main/a/agda

	Name	Last modified	Size
	Parent Directory		-
	agda_2.4.0.2-2_copyright	2014-08-10 22:02	3.3K
	oldoldoldstable_copyright	2014-08-10 22:02	3.3K
	oldstable-kfreebsd_copyright	2014-08-10 22:02	3.3K
	stable-kfreebsd_copyright	2014-08-10 22:02	3.3K
	testing-kfreebsd_copyright	2014-08-10 22:02	3.3K
	agda_2.4.0.2-2_changelog	2014-08-11 10:55	9.7K
	oldoldoldstable_changelog	2014-08-11 10:55	9.7K
	oldstable-kfreebsd_changelog	2014-08-11 10:55	9.7K
	stable-kfreebsd_changelog	2014-08-11 10:55	9.7K
	testing-kfreebsd_changelog	2014-08-11 10:55	9.7K
	agda_2.5.1.1-2_copyright	2016-10-10 18:06	3.3K
	experimental_copyright	2016-10-10 18:06	3.3K
	agda_2.5.1.1-2_changelog	2016-10-20 14:23	13K
	experimental_changelog	2016-10-20 14:23	13K
	agda_2.5.4.1-3_copyright	2018-09-30 08:01	3.3K
	agda_2.6.1-1_copyright	2018-09-30 08:01	3.3K
	oldoldstable_copyright	2018-09-30 08:01	3.3K
	oldstable_copyright	2018-09-30 08:01	3.3K
	agda_2.5.4.1-3_changelog	2018-10-20 20:22	16K
	oldoldstable_changelog	2018-10-20 20:22	16K
	agda_2.6.1-1_changelog	2020-07-29 15:34	17K
	oldstable_changelog	2020-07-29 15:34	17K
	agda_2.6.2.2-1.1_changelog	2022-12-06 15:57	17K
	agda_2.6.2.2-1.1_copyright	2022-12-06 15:57	3.3K
	stable_changelog	2022-12-06 15:57	17K
	stable_copyright	2022-12-06 15:57	3.3K
	agda_2.6.3-1_copyright	2023-10-06 14:27	3.3K
	testing_copyright	2023-10-06 14:27	3.3K
	unstable_copyright	2023-10-06 14:27	3.3K
	agda_2.6.3-1_changelog	2023-10-13 14:57	18K
	testing_changelog	2023-10-13 14:57	18K
	unstable_changelog	2023-10-13 14:57	18K