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

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib_0.3-1ubuntu1_source.changes.bz2	2010-02-13 18:32	1.1K
	agda-stdlib_0.3-1ubuntu2_source.changes.bz2	2010-02-16 16:07	696
	agda-stdlib_0.3-3fakesync_source.changes.bz2	2010-05-25 23:40	1.2K
	agda-stdlib_0.5-1_source.changes.bz2	2011-06-17 18:20	1.2K
	agda-stdlib_0.5-1~ubuntu1_source.changes.bz2	2011-03-08 18:35	1.3K
	agda-stdlib_0.6-1_source.changes.bz2	2012-01-04 04:00	781
	agda-stdlib_0.6-2_source.changes.bz2	2012-03-19 00:58	698
	agda-stdlib_0.6~darcs20111129t1640-1_source.changes.bz2	2011-11-30 10:47	915
	agda-stdlib_0.7-1_source.changes.bz2	2013-04-18 00:45	901
	agda-stdlib_0.7-2_source.changes.bz2	2013-05-28 01:05	602
	agda-stdlib_0.8-2_source.changes.bz2	2014-08-13 07:38	850
	agda-stdlib_0.9-1_source.changes.bz2	2015-06-23 12:05	780
	agda-stdlib_0.11-1_source.changes.bz2	2016-01-05 03:08	794
	agda-stdlib_0.12-2_source.changes.bz2	2016-07-03 11:07	1.0K
	agda-stdlib_0.12-2build1_source.changes.bz2	2016-08-09 19:05	669
	agda-stdlib_0.12-2build2_source.changes.bz2	2016-11-15 18:09	675
	agda-stdlib_0.12-2build3_source.changes.bz2	2017-06-21 19:40	662
	agda-stdlib_0.13-1_source.changes.bz2	2017-07-10 14:08	929
	agda-stdlib_0.14-1_source.changes.bz2	2017-11-26 20:08	967
	agda-stdlib_0.14-1~build1_source.changes.bz2	2017-11-26 13:08	1.0K
	agda-stdlib_0.17-1_source.changes.bz2	2018-12-21 06:40	926
	agda-stdlib_1.1-1_source.changes.bz2	2019-09-09 22:37	841
	agda-stdlib_1.3-2_source.changes.bz2	2020-08-02 09:06	722
	agda-stdlib_1.7.1-1_source.changes.bz2	2022-09-08 00:41	787
	agda-stdlib_1.7.3-1_source.changes.bz2	2023-12-20 00:08	804
	agda-stdlib_2.1-3_source.changes.bz2	2024-11-04 08:13	1.0K
	agda-stdlib_2.1-4_source.changes.bz2	2024-11-26 09:40	697