Index of /by-release/atomic/debian/a/agda-stdlib

	Name	Last modified	Size	Description
	Parent Directory		-
	agda-stdlib_0.3-2.patch-basis	2010-02-27 21:45	6
	agda-stdlib_0.3-2.patch.bz2	2010-02-27 21:45	2.3K
	agda-stdlib_0.3-3.patch-basis	2010-03-03 17:46	6
	agda-stdlib_0.3-3.patch.bz2	2010-03-03 17:46	547
	agda-stdlib_0.5-1.patch-basis	2011-05-24 17:24	6
	agda-stdlib_0.5-1.patch.bz2	2011-05-24 17:24	110K
	agda-stdlib_0.6-1.patch-basis	2011-12-31 04:11	25
	agda-stdlib_0.6-1.patch.bz2	2011-12-31 04:11	17K
	agda-stdlib_0.6-2.patch-basis	2012-03-16 01:28	6
	agda-stdlib_0.6-2.patch.bz2	2012-03-16 01:28	867
	agda-stdlib_0.6~darcs20111129t1640-1.patch-basis	2011-11-29 23:39	6
	agda-stdlib_0.6~darcs20111129t1640-1.patch.bz2	2011-11-29 23:39	64K
	agda-stdlib_0.7-1.patch-basis	2013-04-17 23:27	6
	agda-stdlib_0.7-1.patch.bz2	2013-04-17 23:27	35K
	agda-stdlib_0.7-2.patch-basis	2013-05-27 21:35	6
	agda-stdlib_0.7-2.patch.bz2	2013-05-27 21:35	322
	agda-stdlib_0.8-1.patch-basis	2014-08-05 16:41	6
	agda-stdlib_0.8-1.patch.bz2	2014-08-05 16:41	60K
	agda-stdlib_0.8-2.patch-basis	2014-08-12 17:09	6
	agda-stdlib_0.8-2.patch.bz2	2014-08-12 17:09	605
	agda-stdlib_0.9-1.patch-basis	2015-05-20 16:07	6
	agda-stdlib_0.9-1.patch.bz2	2015-05-20 16:07	12K
	agda-stdlib_0.11-1.patch-basis	2016-01-04 17:08	6
	agda-stdlib_0.11-1.patch.bz2	2016-01-04 17:08	34K
	agda-stdlib_0.12-1.patch-basis	2016-06-20 17:05	7
	agda-stdlib_0.12-1.patch.bz2	2016-06-20 17:05	19K
	agda-stdlib_0.12-2.patch-basis	2016-06-23 23:16	7
	agda-stdlib_0.12-2.patch.bz2	2016-06-23 23:16	1.1K
	agda-stdlib_0.13-1.patch-basis	2017-07-06 17:09	7
	agda-stdlib_0.13-1.patch.bz2	2017-07-06 17:09	25K
	agda-stdlib_0.14-1.patch-basis	2017-11-26 16:09	7
	agda-stdlib_0.14-1.patch.bz2	2017-11-26 16:09	81K
	agda-stdlib_0.17-1.patch-basis	2018-11-24 05:05	7
	agda-stdlib_0.17-1.patch.bz2	2018-11-24 05:05	319K
	agda-stdlib_1.1-1.patch-basis	2019-09-04 15:36	7
	agda-stdlib_1.1-1.patch.bz2	2019-09-04 15:36	391K
	agda-stdlib_1.3-1.patch-basis	2020-07-31 15:05	6
	agda-stdlib_1.3-1.patch.bz2	2020-07-31 15:05	294K
	agda-stdlib_1.3-2.patch-basis	2020-08-01 15:05	6
	agda-stdlib_1.3-2.patch.bz2	2020-08-01 15:05	702
	agda-stdlib_1.7.1-1.patch-basis	2022-08-06 21:35	6
	agda-stdlib_1.7.1-1.patch.bz2	2022-08-06 21:35	356K
	agda-stdlib_1.7.3-1.patch-basis	2023-11-04 15:35	8
	agda-stdlib_1.7.3-1.patch.bz2	2023-11-04 15:35	30K
	agda-stdlib_2.1-1.patch	2024-10-19 03:35	5.6M
	agda-stdlib_2.1-1.patch-basis	2024-10-19 03:35	8
	agda-stdlib_2.1-2.patch	2024-10-23 21:35	1.4K
	agda-stdlib_2.1-2.patch-basis	2024-10-23 21:35	6
	agda-stdlib_2.1-3.patch	2024-10-24 16:06	1.0K
	agda-stdlib_2.1-3.patch-basis	2024-10-24 16:06	6
	patches.xml	2024-10-24 16:18	3.1K