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
agda_2.6.3-2.patch
2024-09-12 09:41
843
agda_2.6.3-2.patch-basis
2024-09-12 09:41
8
agda_2.6.4.3-1.patch
2024-10-08 15:05
2.3M
agda_2.6.4.3-1.patch-basis
2024-10-08 15:05
8
patches.xml
2024-10-08 15:15
2.8K
Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443