Index of /changelogs/binary/a/agda-bin

	Name	Last modified	Size	Description
	Parent Directory		-
	2.4.2.2-4build1/	2016-04-16 02:07	-
	2.4.2.5-1build1/	2016-04-14 22:19	-
	2.5.1-2/	2016-06-21 00:04	-
	2.5.1-2build1/	2016-07-15 07:01	-
	2.5.1-2build2/	2016-08-09 13:33	-
	2.5.1-2build3/	2016-10-22 05:00	-
	2.5.1.1-3/	2016-11-13 13:31	-
	2.5.1.1-3build3/	2017-01-27 08:00	-
	2.5.1.1-4/	2017-06-21 11:30	-
	2.5.1.1-4build1/	2017-06-21 16:30	-
	2.5.2-2/	2017-07-11 00:04	-
	2.5.2-2build1/	2017-07-15 09:00	-
	2.5.2-2~build1/	2017-07-10 11:30	-
	2.5.3-3/	2017-11-01 14:14	-
	2.5.3-3build1/	2017-11-25 19:30	-
	2.5.3-5/	2018-05-04 19:36	-
	2.5.3-5build1/	2018-07-04 10:30	-
	2.5.3-5build2/	2018-07-04 19:00	-
	2.5.3-5build3/	2018-07-05 08:00	-
	2.5.4.1-3/	2018-12-14 10:30	-
	2.6.0.1-1/	2019-09-01 13:00	-
	2.6.0.1-1build1/	2019-09-01 18:31	-
	2.6.0.1-1build2/	2019-09-03 06:00	-
	2.6.0.1-1build3/	2020-01-13 09:00	-
	2.6.0.1-1build4/	2020-02-08 12:04	-
	2.6.1-0ubuntu1/	2020-07-07 04:31	-
	2.6.1-1/	2020-07-29 23:30	-
	2.6.1-1build1/	2020-08-27 00:33	-
	2.6.1-1build2.1/	2021-09-16 08:00	-
	2.6.1-1build2/	2020-10-29 20:31	-
	2.6.2.2-1.1build1/	2022-12-12 10:31	-
	2.6.2.2-1/	2022-08-06 23:30	-
	2.6.3-1build1/	2023-11-08 10:00	-