Index of /by-release/changes-files/ubuntu/a/agda-bin

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-bin_2.2.4-1_source.changes.bz2	2009-08-24 12:34	452
	agda-bin_2.2.6-1_source.changes.bz2	2010-01-22 12:24	1.0K
	agda-bin_2.2.6-1build1_source.changes.bz2	2010-02-03 17:34	635
	agda-bin_2.2.10-1~ubuntu1_source.changes.bz2	2011-03-08 18:35	1.1K
	agda-bin_2.2.10-2_source.changes.bz2	2011-06-10 13:09	934
	agda-bin_2.3.0-1_source.changes.bz2	2011-11-29 19:14	782
	agda-bin_2.3.0.1-1_source.changes.bz2	2012-03-19 00:58	729