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

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib_0.3-1_source.changes.bz2	2010-02-06 01:30	779
	agda-stdlib_0.3-2_source.changes.bz2	2010-02-27 21:45	1.1K
	agda-stdlib_0.3-3_source.changes.bz2	2010-03-03 17:46	729
	agda-stdlib_0.5-1_source.changes.bz2	2011-05-24 17:24	1.2K
	agda-stdlib_0.6-1_source.changes.bz2	2011-12-31 04:11	781
	agda-stdlib_0.6-2_source.changes.bz2	2012-03-16 01:28	698
	agda-stdlib_0.6~darcs20111129t1640-1_source.changes.bz2	2011-11-29 23:39	915
	agda-stdlib_0.7-1_source.changes.bz2	2013-04-17 23:27	901
	agda-stdlib_0.7-2_source.changes.bz2	2013-05-27 21:35	602
	agda-stdlib_0.8-1_source.changes.bz2	2014-08-05 16:41	924
	agda-stdlib_0.8-2_source.changes.bz2	2014-08-12 17:09	669
	agda-stdlib_0.9-1_source.changes.bz2	2015-05-20 16:07	780
	agda-stdlib_0.11-1_source.changes.bz2	2016-01-04 17:08	794
	agda-stdlib_0.12-1_source.changes.bz2	2016-06-20 17:05	961
	agda-stdlib_0.12-2_source.changes.bz2	2016-06-23 23:16	814
	agda-stdlib_0.13-1_source.changes.bz2	2017-07-06 17:09	929
	agda-stdlib_0.14-1_source.changes.bz2	2017-11-26 16:09	967
	agda-stdlib_0.17-1_source.changes.bz2	2018-11-24 05:05	926
	agda-stdlib_1.1-1_source.changes.bz2	2019-09-04 15:36	841
	agda-stdlib_1.3-1_source.changes.bz2	2020-07-31 15:05	807
	agda-stdlib_1.3-2_source.changes.bz2	2020-08-01 15:05	722
	agda-stdlib_1.7.1-1_source.changes.bz2	2022-08-06 21:35	787
	agda-stdlib_1.7.3-1_source.changes.bz2	2023-11-04 15:35	804
	agda-stdlib_2.1-1_source.changes.bz2	2024-10-19 03:35	949
	agda-stdlib_2.1-2_source.changes.bz2	2024-10-23 21:35	763
	agda-stdlib_2.1-3_source.changes.bz2	2024-10-24 16:06	712
	agda-stdlib_2.1-4_source.changes.bz2	2024-11-26 09:14	697