Index of /by-release/atomic/debian/a/acl2
Name
Last modified
Size
Description
Parent Directory
-
acl2_3.0.1-1.patch-basis
2006-08-04 01:09
6
acl2_3.2-1.patch-basis
2007-05-18 09:12
6
acl2_3.3-1.1.patch-basis
2008-04-06 10:09
6
acl2_3.3-1.patch-basis
2007-12-04 00:11
6
acl2_3.4-2.patch-basis
2009-02-24 00:30
6
acl2_3.6-1.patch-basis
2009-12-22 19:09
6
acl2_3.6-2.patch-basis
2010-01-03 22:21
6
acl2_3.6-3.patch-basis
2010-01-05 06:25
6
acl2_3.6-4.patch-basis
2010-01-12 05:26
6
acl2_3.6.1-1.patch-basis
2010-06-08 05:43
6
acl2_4.0-2.patch-basis
2010-07-09 04:40
6
acl2_4.0-3.patch-basis
2010-07-09 23:37
6
acl2_4.1-1.patch-basis
2010-09-06 19:32
6
acl2_4.1-2.patch-basis
2010-09-26 04:33
6
acl2_4.1-3.patch-basis
2010-10-21 05:54
6
acl2_4.1-4.patch-basis
2010-10-31 22:13
6
acl2_4.1-5.patch-basis
2010-11-06 17:05
6
acl2_4.2-1.patch-basis
2011-05-14 23:54
6
acl2_4.3-1.patch-basis
2012-01-11 22:57
6
acl2_4.3-2.patch-basis
2012-01-23 17:13
6
acl2_4.3-3.patch-basis
2012-05-21 23:14
6
acl2_5.0-1.patch-basis
2012-08-25 21:05
6
acl2_6.0-1.patch-basis
2013-01-13 09:05
6
acl2_6.0-2.patch-basis
2013-01-14 03:35
6
acl2_6.1-1.patch-basis
2013-05-13 03:35
6
acl2_6.1-2.patch-basis
2013-05-22 21:35
6
acl2_6.1-3.patch-basis
2013-05-24 21:36
6
acl2_6.1-5.patch-basis
2013-06-22 15:35
6
acl2_6.1-6.patch-basis
2013-07-03 03:35
6
acl2_6.2-1.patch-basis
2013-07-12 22:08
6
acl2_6.2-3.patch-basis
2013-07-23 03:36
6
acl2_6.2-4.patch-basis
2013-07-24 09:36
6
acl2_6.2-5.patch-basis
2013-07-28 21:36
6
acl2_6.2-6.patch-basis
2013-07-30 21:45
6
acl2_6.2-7.patch-basis
2013-08-08 15:37
6
acl2_6.3-1.patch-basis
2013-10-04 15:35
6
acl2_6.3-2.patch-basis
2013-10-12 22:06
6
acl2_6.3-3.patch-basis
2013-10-15 15:35
6
acl2_6.3-4.patch-basis
2013-10-17 10:06
6
acl2_6.3-5.patch-basis
2013-10-19 21:36
6
acl2_6.3-6.patch-basis
2013-11-17 11:40
6
acl2_6.4-1.patch-basis
2014-05-02 17:06
6
acl2_6.4-2.patch-basis
2014-05-08 10:14
6
acl2_6.4-3.patch-basis
2014-05-12 23:08
6
acl2_6.4-4.patch-basis
2014-05-18 10:07
6
acl2_6.5-1.patch-basis
2014-08-17 21:37
6
acl2_6.5-2.patch-basis
2014-09-08 22:10
6
acl2_6.5-3.patch-basis
2014-10-25 17:19
6
acl2_6.5-4.patch-basis
2014-10-26 16:06
6
acl2_6.5-5.patch-basis
2014-10-27 16:15
6
acl2_7.0-1.patch-basis
2015-01-27 10:06
6
acl2_7.1-1.patch-basis
2015-06-01 22:35
6
acl2_7.1-2.patch-basis
2015-10-02 16:05
6
acl2_7.1-3.patch-basis
2015-10-09 22:05
6
acl2_7.1dfsg-1.patch-basis
2015-10-21 22:11
6
acl2_3.0.1-3.patch-basis
2006-10-12 02:09
8
acl2_3.0.1-4.patch-basis
2006-10-14 01:08
8
acl2_3.0.1-5.patch-basis
2006-10-18 02:08
8
acl2_3.0.1-6.patch-basis
2006-10-19 03:08
8
acl2_3.0.1-7.patch-basis
2006-10-20 02:08
8
acl2_3.0.1-8.patch-basis
2006-10-21 02:08
8
acl2_3.1-1.patch-basis
2006-12-05 01:08
8
acl2_3.4-1.patch-basis
2008-08-25 23:16
8
acl2_3.6.1-2.patch-basis
2010-06-11 17:48
8
acl2_4.0-1.patch-basis
2010-07-08 10:33
8
acl2_7.1dfsg-2.patch-basis
2015-10-29 04:05
10
acl2_7.2dfsg-1.patch-basis
2016-04-15 12:40
10
acl2_7.2dfsg-2.patch-basis
2016-05-04 20:49
10
acl2_7.2dfsg-3.patch-basis
2016-10-17 23:07
10
acl2_7.4dfsg-1.patch-basis
2017-05-10 04:41
10
acl2_7.4dfsg-2.patch-basis
2017-05-31 10:10
10
acl2_7.4dfsg-3.1.patch-basis
2017-08-09 16:11
10
acl2_7.4dfsg-3.patch-basis
2017-06-09 22:09
10
acl2_8.0dfsg-1.patch-basis
2018-01-13 22:08
10
acl2_8.1dfsg-1.patch-basis
2019-03-03 16:05
10
acl2_8.1dfsg-2.patch-basis
2019-03-30 22:05
10
acl2_8.1dfsg-3.patch-basis
2019-04-04 16:35
10
acl2_8.1dfsg-4.patch-basis
2019-10-31 22:05
10
acl2_8.1dfsg-5.patch-basis
2019-12-08 23:36
10
acl2_8.1dfsg-6.patch-basis
2019-12-09 21:06
10
acl2_8.2dfsg-1.patch-basis
2019-12-19 21:05
10
acl2_8.2dfsg-2.patch-basis
2019-12-27 03:35
10
acl2_8.2dfsg-3.patch-basis
2019-12-31 09:35
10
acl2_8.3dfsg-1.patch-basis
2020-08-24 09:36
10
acl2_8.3dfsg-2.patch-basis
2021-01-27 21:06
10
acl2_8.3dfsg-3.patch-basis
2021-09-14 03:06
10
acl2_8.3dfsg-4.patch-basis
2021-10-11 16:07
10
acl2_8.4dfsg-1.patch-basis
2021-10-28 20:37
10
acl2_8.4dfsg-2.patch-basis
2021-11-01 21:07
10
acl2_8.5dfsg-1.patch-basis
2022-07-27 22:37
10
acl2_8.5dfsg-2.patch-basis
2022-12-22 15:07
10
acl2_8.5dfsg-3.patch-basis
2022-12-30 21:08
10
acl2_8.5dfsg-4.patch-basis
2023-01-14 04:33
10
acl2_8.5dfsg-5.patch-basis
2023-01-16 09:07
10
acl2_8.5dfsg-6.patch-basis
2024-07-28 21:37
10
acl2_7.4dfsg-4.patch-basis
2017-10-02 21:38
12
acl2_8.3dfsg-4.patch.bz2
2021-10-11 16:07
310
acl2_6.0-2.patch.bz2
2013-01-14 03:35
486
acl2_6.3-6.patch.bz2
2013-11-17 11:40
544
acl2_6.2-4.patch.bz2
2013-07-24 09:36
550
acl2_4.1-4.patch.bz2
2010-10-31 22:13
551
acl2_6.3-4.patch.bz2
2013-10-17 10:06
554
acl2_6.3-2.patch.bz2
2013-10-12 22:06
559
acl2_6.3-5.patch.bz2
2013-10-19 21:36
564
acl2_8.5dfsg-4.patch.bz2
2023-01-14 04:33
564
acl2_8.5dfsg-6.patch
2024-07-28 21:37
565
acl2_6.1-6.patch.bz2
2013-07-03 03:35
568
acl2_8.1dfsg-6.patch.bz2
2019-12-09 21:06
581
acl2_7.4dfsg-4.patch.bz2
2017-10-02 21:38
600
acl2_6.5-5.patch.bz2
2014-10-27 16:15
601
acl2_8.4dfsg-2.patch.bz2
2021-11-01 21:07
612
acl2_6.1-2.patch.bz2
2013-05-22 21:35
616
acl2_8.5dfsg-3.patch.bz2
2022-12-30 21:08
642
acl2_7.1dfsg-2.patch.bz2
2015-10-29 04:05
656
acl2_8.5dfsg-5.patch.bz2
2023-01-16 09:07
656
acl2_4.1-2.patch.bz2
2010-09-26 04:33
669
acl2_8.1dfsg-5.patch.bz2
2019-12-08 23:36
681
acl2_6.3-3.patch.bz2
2013-10-15 15:35
684
acl2_4.1-3.patch.bz2
2010-10-21 05:54
685
acl2_4.0-3.patch.bz2
2010-07-09 23:37
736
acl2_6.5-4.patch.bz2
2014-10-26 16:06
740
acl2_6.4-4.patch.bz2
2014-05-18 10:07
775
acl2_7.4dfsg-3.1.patch.bz2
2017-08-09 16:11
781
acl2_8.1dfsg-4.patch.bz2
2019-10-31 22:05
840
acl2_8.2dfsg-2.patch.bz2
2019-12-27 03:35
897
acl2_3.6-3.patch.bz2
2010-01-05 06:25
898
acl2_6.1-3.patch.bz2
2013-05-24 21:36
918
acl2_6.5-2.patch.bz2
2014-09-08 22:10
1.0K
acl2_3.6-2.patch.bz2
2010-01-03 22:21
1.0K
acl2_6.2-3.patch.bz2
2013-07-23 03:36
1.0K
acl2_6.4-2.patch.bz2
2014-05-08 10:14
1.0K
acl2_4.0-2.patch.bz2
2010-07-09 04:40
1.0K
acl2_7.2dfsg-2.patch.bz2
2016-05-04 20:49
1.0K
acl2_7.4dfsg-3.patch.bz2
2017-06-09 22:09
1.1K
acl2_6.4-3.patch.bz2
2014-05-12 23:08
1.2K
acl2_6.1-5.patch.bz2
2013-06-22 15:35
1.2K
acl2_4.3-3.patch.bz2
2012-05-21 23:14
1.2K
acl2_6.2-6.patch.bz2
2013-07-30 21:45
1.3K
acl2_3.6-4.patch.bz2
2010-01-12 05:26
1.4K
acl2_6.2-7.patch.bz2
2013-08-08 15:37
1.4K
acl2_8.1dfsg-3.patch.bz2
2019-04-04 16:35
1.5K
acl2_6.2-5.patch.bz2
2013-07-28 21:36
1.6K
acl2_3.6.1-2.patch.bz2
2010-06-11 17:48
1.6K
acl2_7.1-2.patch.bz2
2015-10-02 16:05
1.7K
acl2_8.1dfsg-2.patch.bz2
2019-03-30 22:05
1.7K
acl2_6.5-3.patch.bz2
2014-10-25 17:19
1.8K
acl2_4.3-2.patch.bz2
2012-01-23 17:13
2.2K
acl2_8.2dfsg-3.patch.bz2
2019-12-31 09:35
2.3K
acl2_7.4dfsg-2.patch.bz2
2017-05-31 10:10
2.4K
acl2_8.5dfsg-2.patch.bz2
2022-12-22 15:07
2.6K
patches.xml
2024-07-28 22:03
2.8K
acl2_4.1-5.patch.bz2
2010-11-06 17:05
3.8K
acl2_8.3dfsg-2.patch.bz2
2021-01-27 21:06
26K
acl2_7.1-3.patch.bz2
2015-10-09 22:05
31K
acl2_8.3dfsg-3.patch.bz2
2021-09-14 03:06
55K
acl2_7.1dfsg-1.patch.bz2
2015-10-21 22:11
87K
acl2_3.6.1-1.patch.bz2
2010-06-08 05:43
229K
acl2_7.2dfsg-3.patch.bz2
2016-10-17 23:07
272K
acl2_4.1-1.patch.bz2
2010-09-06 19:32
312K
acl2_4.2-1.patch.bz2
2011-05-14 23:54
1.1M
acl2_6.2-1.patch.bz2
2013-07-12 22:08
1.8M
acl2_6.1-1.patch.bz2
2013-05-13 03:35
2.0M
acl2_6.0-1.patch.bz2
2013-01-13 09:05
2.5M
acl2_4.0-1.patch.bz2
2010-07-08 10:33
2.7M
acl2_4.3-1.patch.bz2
2012-01-11 22:57
3.1M
acl2_7.4dfsg-1.patch.bz2
2017-05-10 04:41
3.2M
acl2_5.0-1.patch.bz2
2012-08-25 21:05
3.2M
acl2_6.5-1.patch.bz2
2014-08-17 21:37
3.5M
acl2_3.6-1.patch.bz2
2009-12-22 19:09
3.6M
acl2_8.2dfsg-1.patch.bz2
2019-12-19 21:05
4.0M
acl2_6.3-1.patch.bz2
2013-10-04 15:35
4.1M
acl2_7.1-1.patch.bz2
2015-06-01 22:35
4.1M
acl2_8.1dfsg-1.patch.bz2
2019-03-03 16:05
5.3M
acl2_8.0dfsg-1.patch.bz2
2018-01-13 22:08
5.7M
acl2_7.2dfsg-1.patch.bz2
2016-04-15 12:40
6.5M
acl2_7.0-1.patch.bz2
2015-01-27 10:06
6.8M
acl2_6.4-1.patch.bz2
2014-05-02 17:06
10M
acl2_8.3dfsg-1.patch.bz2
2020-08-24 09:36
11M
acl2_8.5dfsg-1.patch.bz2
2022-07-27 22:37
15M
acl2_8.4dfsg-1.patch.bz2
2021-10-28 20:37
32M
Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443