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

	Name	Last modified	Size	Description
	Parent Directory		-
	agda_2.2.6-1.patch-basis	2010-01-08 05:28	13
	agda_2.2.6-1.patch.bz2	2010-01-08 05:28	175K
	agda_2.2.6-2.patch-basis	2010-01-18 05:27	8
	agda_2.2.6-2.patch.bz2	2010-01-18 05:27	1.1K
	agda_2.2.6-3.patch-basis	2010-02-27 11:34	8
	agda_2.2.6-3.patch.bz2	2010-02-27 11:34	2.9K
	agda_2.2.6-4.patch-basis	2010-03-12 05:32	8
	agda_2.2.6-4.patch.bz2	2010-03-12 05:32	2.5K
	agda_2.2.6-5.patch-basis	2010-03-17 03:31	8
	agda_2.2.6-5.patch.bz2	2010-03-17 03:31	1.0K
	agda_2.2.6-6.patch-basis	2010-05-04 11:21	8
	agda_2.2.6-6.patch.bz2	2010-05-04 11:21	656
	agda_2.2.6-7.patch-basis	2010-05-06 12:28	8
	agda_2.2.6-7.patch.bz2	2010-05-06 12:28	617
	agda_2.2.8-1.patch-basis	2010-12-15 21:57	8
	agda_2.2.8-1.patch.bz2	2010-12-15 21:57	256K
	agda_2.2.10-1.patch-basis	2011-05-20 23:52	8
	agda_2.2.10-1.patch.bz2	2011-05-20 23:52	144K
	agda_2.2.10-2.patch-basis	2011-06-08 10:08	9
	agda_2.2.10-2.patch.bz2	2011-06-08 10:08	19K
	agda_2.2.10-3.patch-basis	2011-06-17 16:49	9
	agda_2.2.10-3.patch.bz2	2011-06-17 16:49	1.1K
	agda_2.2.10-4.patch-basis	2011-09-04 04:45	9
	agda_2.2.10-4.patch.bz2	2011-09-04 04:45	6.7K
	agda_2.3.0-1.patch-basis	2011-11-23 23:37	9
	agda_2.3.0-1.patch.bz2	2011-11-23 23:37	339K
	agda_2.3.0.1-1.patch-basis	2012-03-16 01:28	8
	agda_2.3.0.1-1.patch.bz2	2012-03-16 01:28	14K
	agda_2.3.0.1-2.patch-basis	2012-05-27 03:35	10
	agda_2.3.0.1-2.patch.bz2	2012-05-27 03:35	3.9K
	agda_2.3.2-1.patch-basis	2013-04-17 23:27	10
	agda_2.3.2-1.patch.bz2	2013-04-17 23:27	399K
	agda_2.3.2-2.patch-basis	2013-05-27 21:35	8
	agda_2.3.2-2.patch.bz2	2013-05-27 21:35	1.5K
	agda_2.3.2-3.patch-basis	2013-05-29 15:36	8
	agda_2.3.2-3.patch.bz2	2013-05-29 15:36	855
	agda_2.3.2-4.patch-basis	2013-06-12 15:35	8
	agda_2.3.2-4.patch.bz2	2013-06-12 15:35	510
	agda_2.3.2.1-1.patch-basis	2013-06-16 21:36	8
	agda_2.3.2.1-1.patch.bz2	2013-06-16 21:36	9.8K
	agda_2.3.2.1-2.patch-basis	2013-10-19 21:36	10
	agda_2.3.2.1-2.patch.bz2	2013-10-19 21:36	4.5K
	agda_2.3.2.2-1.patch-basis	2013-11-06 16:05	10
	agda_2.3.2.2-1.patch.bz2	2013-11-06 16:05	1.1M
	agda_2.4.0.2-1.patch-basis	2014-08-05 16:41	10
	agda_2.4.0.2-1.patch.bz2	2014-08-05 16:41	1.6M
	agda_2.4.0.2-2.patch-basis	2014-08-11 17:08	10
	agda_2.4.0.2-2.patch.bz2	2014-08-11 17:08	678
	agda_2.4.2.2-2.patch-basis	2015-05-20 16:07	10
	agda_2.4.2.2-2.patch.bz2	2015-05-20 16:07	401K
	agda_2.4.2.2-3.patch-basis	2015-07-01 22:05	10
	agda_2.4.2.2-3.patch.bz2	2015-07-01 22:05	5.7K
	agda_2.4.2.2-4.patch-basis	2015-08-04 22:06	10
	agda_2.4.2.2-4.patch.bz2	2015-08-04 22:06	5.6K
	agda_2.4.2.5-1.patch-basis	2016-01-04 17:08	10
	agda_2.4.2.5-1.patch.bz2	2016-01-04 17:08	421K
	agda_2.5.1-1.patch-basis	2016-06-14 17:35	10
	agda_2.5.1-1.patch.bz2	2016-06-14 17:35	529K
	agda_2.5.1-2.patch-basis	2016-06-20 17:05	8
	agda_2.5.1-2.patch.bz2	2016-06-20 17:05	1.4K
	agda_2.5.1.1-1.patch-basis	2016-10-17 05:09	8
	agda_2.5.1.1-1.patch.bz2	2016-10-17 05:09	16K
	agda_2.5.1.1-2.patch-basis	2016-10-21 01:11	10
	agda_2.5.1.1-2.patch.bz2	2016-10-21 01:11	5.7K
	agda_2.5.1.1-3.patch-basis	2016-10-28 06:38	10
	agda_2.5.1.1-3.patch.bz2	2016-10-28 06:38	505
	agda_2.5.1.1-4.patch-basis	2017-06-21 04:40	10
	agda_2.5.1.1-4.patch.bz2	2017-06-21 04:40	9.6K
	agda_2.5.2-1.patch-basis	2017-07-06 17:09	10
	agda_2.5.2-1.patch.bz2	2017-07-06 17:09	602K
	agda_2.5.2-2.patch-basis	2017-07-10 16:09	8
	agda_2.5.2-2.patch.bz2	2017-07-10 16:09	6.3K
	agda_2.5.3-1.patch-basis	2017-10-13 22:09	8
	agda_2.5.3-1.patch.bz2	2017-10-13 22:09	526K
	agda_2.5.3-2.patch-basis	2017-10-14 04:08	8
	agda_2.5.3-2.patch.bz2	2017-10-14 04:08	441
	agda_2.5.3-3.patch-basis	2017-10-14 10:08	8
	agda_2.5.3-3.patch.bz2	2017-10-14 10:08	5.5K
	agda_2.5.3-4.patch-basis	2018-04-11 10:17	8
	agda_2.5.3-4.patch.bz2	2018-04-11 10:17	1.4K
	agda_2.5.3-5.patch-basis	2018-04-29 17:09	8
	agda_2.5.3-5.patch.bz2	2018-04-29 17:09	798
	agda_2.5.4.1-1.patch-basis	2018-09-30 16:54	8
	agda_2.5.4.1-1.patch.bz2	2018-09-30 16:54	497K
	agda_2.5.4.1-2.patch-basis	2018-10-01 22:39	10
	agda_2.5.4.1-2.patch.bz2	2018-10-01 22:39	751
	agda_2.5.4.1-3.patch-basis	2018-10-21 04:08	10
	agda_2.5.4.1-3.patch.bz2	2018-10-21 04:08	936
	agda_2.6.0.1-1.patch-basis	2019-08-31 21:38	10
	agda_2.6.0.1-1.patch.bz2	2019-08-31 21:38	656K
	agda_2.6.1-1.patch-basis	2020-07-29 21:35	10
	agda_2.6.1-1.patch.bz2	2020-07-29 21:35	915K
	agda_2.6.2.2-1.1.patch-basis	2022-12-06 21:36	10
	agda_2.6.2.2-1.1.patch.bz2	2022-12-06 21:36	832
	agda_2.6.2.2-1.patch-basis	2022-08-06 21:35	8
	agda_2.6.2.2-1.patch.bz2	2022-08-06 21:35	937K
	agda_2.6.3-1.patch-basis	2023-10-13 20:36	12
	agda_2.6.3-1.patch.bz2	2023-10-13 20:36	399K
	patches.xml	2023-10-13 20:47	2.8K