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