Index of /ubuntu/pool/universe/a/acl2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]acl2-books-certs_2.9.3-7_all.deb2005-10-27 23:20 367K 
[ ]acl2-books-certs_3.1-1_all.deb2006-12-07 04:04 4.7M 
[ ]acl2-books-certs_3.4-1_all.deb2008-11-05 10:04 1.2M 
[ ]acl2-books-certs_3.4-2_all.deb2009-04-28 23:05 1.2M 
[ ]acl2-books-certs_3.6-4_all.deb2010-02-16 08:05 1.9M 
[ ]acl2-books-certs_4.0-3_all.deb2010-09-08 22:05 1.9M 
[ ]acl2-books-certs_4.1-5_all.deb2010-11-09 02:04 1.9M 
[ ]acl2-books-certs_4.2-1_all.deb2011-09-02 03:03 1.9M 
[ ]acl2-books-certs_4.3-2_all.deb2012-05-01 01:05 4.2M 
[ ]acl2-books-certs_4.3-3_all.deb2012-05-18 14:33 4.2M 
[ ]acl2-books-certs_5.0-1_all.deb2012-10-28 23:37 4.8M 
[ ]acl2-books-certs_6.0-1_all.deb2013-01-13 13:33 5.0M 
[ ]acl2-books-certs_6.0-2_all.deb2013-01-14 07:33 4.9M 
[ ]acl2-books-certs_6.1-1_all.deb2013-05-13 10:03 8.5M 
[ ]acl2-books-certs_6.2-1_all.deb2013-07-13 16:38 9.8M 
[ ]acl2-books-certs_6.2-3_all.deb2013-07-23 10:28 9.8M 
[ ]acl2-books-certs_6.2-4_all.deb2013-07-24 16:23 9.7M 
[ ]acl2-books-certs_6.2-5_all.deb2013-07-29 22:28 9.7M 
[ ]acl2-books-certs_6.2-6_all.deb2013-07-31 14:38 9.7M 
[ ]acl2-books-certs_6.3-5_all.deb2013-10-24 16:36 11M 
[ ]acl2-books-certs_6.4-4_all.deb2014-05-18 12:50 4.0M 
[ ]acl2-books-certs_6.5-5_all.deb2014-10-27 19:53 6.1M 
[ ]acl2-books-certs_7.0-1_all.deb2015-01-27 14:50 66M 
[ ]acl2-books-certs_7.1-1_all.deb2015-06-27 13:48 13M 
[ ]acl2-books-certs_7.2dfsg-2_all.deb2016-05-05 06:24 52M 
[ ]acl2-books-certs_7.2dfsg-2build1_all.deb2016-09-17 18:37 52M 
[ ]acl2-books-certs_7.2dfsg-2build2_all.deb2016-09-27 04:19 52M 
[ ]acl2-books-certs_7.2dfsg-3_all.deb2016-11-03 21:25 52M 
[ ]acl2-books-certs_7.4dfsg-1_all.deb2017-05-10 11:43 61M 
[ ]acl2-books-certs_7.4dfsg-2_all.deb2017-05-31 18:58 61M 
[ ]acl2-books-certs_7.4dfsg-2build1_all.deb2017-06-03 05:28 61M 
[ ]acl2-books-certs_7.4dfsg-3.1_all.deb2017-08-10 07:37 61M 
[ ]acl2-books-certs_7.4dfsg-3_all.deb2017-06-10 03:08 61M 
[ ]acl2-books-certs_7.4dfsg-4_all.deb2017-11-03 11:11 61M 
[ ]acl2-books-certs_8.0dfsg-1_all.deb2018-01-14 03:08 70M 
[ ]acl2-books-certs_8.0dfsg-1build1_all.deb2019-01-15 18:13 70M 
[ ]acl2-books-certs_8.1dfsg-3_all.deb2019-04-21 19:43 77M 
[ ]acl2-books-certs_8.1dfsg-4_all.deb2019-11-01 04:38 77M 
[ ]acl2-books-certs_8.1dfsg-5_all.deb2019-12-09 04:43 77M 
[ ]acl2-books-certs_8.1dfsg-6_all.deb2019-12-10 08:23 77M 
[ ]acl2-books-certs_8.2dfsg-1_all.deb2019-12-20 04:43 66M 
[ ]acl2-books-certs_8.2dfsg-2_all.deb2019-12-27 11:08 66M 
[ ]acl2-books-certs_8.2dfsg-3_all.deb2019-12-31 18:53 66M 
[ ]acl2-books-certs_8.2dfsg-3build1_all.deb2020-03-23 13:24 66M 
[ ]acl2-books-certs_8.3dfsg-1_all.deb2020-08-24 12:19 5.7K 
[ ]acl2-books-certs_8.3dfsg-2_all.deb2021-01-28 07:19 139M 
[ ]acl2-books-certs_8.4dfsg-2_all.deb2021-12-19 01:10 221M 
[ ]acl2-books-certs_8.5dfsg-1_all.deb2022-07-28 09:29 220M 
[ ]acl2-books-certs_8.5dfsg-2_all.deb2022-12-23 02:29 221M 
[ ]acl2-books-certs_8.5dfsg-3_all.deb2022-12-31 07:53 216M 
[ ]acl2-books-certs_8.5dfsg-4_all.deb2023-01-14 16:49 216M 
[ ]acl2-books-certs_8.5dfsg-5_all.deb2023-01-17 02:29 216M 
[ ]acl2-books-certs_8.5dfsg-5build3_all.deb2024-04-02 08:03 216M 
[ ]acl2-books-certs_8.5dfsg-6_all.deb2024-07-29 04:20 79M 
[ ]acl2-books-certs_8.6+dfsg-2_all.deb2025-05-03 01:14 267M 
[ ]acl2-books-certs_8.6+dfsg-3_all.deb2025-05-15 07:30 268M 
[ ]acl2-books-source_2.9.3-7_all.deb2005-10-27 23:20 1.2M 
[ ]acl2-books-source_3.1-1_all.deb2006-12-07 04:04 2.1M 
[ ]acl2-books-source_3.4-1_all.deb2008-11-05 10:04 2.7M 
[ ]acl2-books-source_3.4-2_all.deb2009-04-28 23:05 2.7M 
[ ]acl2-books-source_3.6-4_all.deb2010-02-16 08:05 4.7M 
[ ]acl2-books-source_4.0-3_all.deb2010-09-08 22:05 4.8M 
[ ]acl2-books-source_4.1-5_all.deb2010-11-09 02:04 4.9M 
[ ]acl2-books-source_4.2-1_all.deb2011-09-02 03:03 4.9M 
[ ]acl2-books-source_4.3-2_all.deb2012-05-01 01:05 6.2M 
[ ]acl2-books-source_4.3-3_all.deb2012-05-18 14:33 6.2M 
[ ]acl2-books-source_5.0-1_all.deb2012-10-28 23:37 7.0M 
[ ]acl2-books-source_6.0-1_all.deb2013-01-13 13:33 7.5M 
[ ]acl2-books-source_6.0-2_all.deb2013-01-14 07:33 7.5M 
[ ]acl2-books-source_6.1-1_all.deb2013-05-13 10:03 7.1M 
[ ]acl2-books-source_6.2-1_all.deb2013-07-13 16:38 7.3M 
[ ]acl2-books-source_6.2-3_all.deb2013-07-23 10:28 7.3M 
[ ]acl2-books-source_6.2-4_all.deb2013-07-24 16:23 7.3M 
[ ]acl2-books-source_6.2-5_all.deb2013-07-29 22:28 7.3M 
[ ]acl2-books-source_6.2-6_all.deb2013-07-31 14:38 7.3M 
[ ]acl2-books-source_6.3-5_all.deb2013-10-24 16:36 9.1M 
[ ]acl2-books-source_6.4-4_all.deb2014-05-18 12:50 6.2M 
[ ]acl2-books-source_6.5-5_all.deb2014-10-27 19:53 6.6M 
[ ]acl2-books-source_7.0-1_all.deb2015-01-27 14:50 8.4M 
[ ]acl2-books-source_7.1-1_all.deb2015-06-27 13:48 9.9M 
[ ]acl2-books-source_7.2dfsg-2_all.deb2016-05-05 06:24 11M 
[ ]acl2-books-source_7.2dfsg-2build1_all.deb2016-09-17 18:37 10M 
[ ]acl2-books-source_7.2dfsg-2build2_all.deb2016-09-27 04:19 10M 
[ ]acl2-books-source_7.2dfsg-3_all.deb2016-11-03 21:25 10M 
[ ]acl2-books-source_7.4dfsg-1_all.deb2017-05-10 11:43 11M 
[ ]acl2-books-source_7.4dfsg-2_all.deb2017-05-31 18:58 11M 
[ ]acl2-books-source_7.4dfsg-2build1_all.deb2017-06-03 05:28 11M 
[ ]acl2-books-source_7.4dfsg-3.1_all.deb2017-08-10 07:37 11M 
[ ]acl2-books-source_7.4dfsg-3_all.deb2017-06-10 03:08 11M 
[ ]acl2-books-source_7.4dfsg-4_all.deb2017-11-03 11:11 11M 
[ ]acl2-books-source_8.0dfsg-1_all.deb2018-01-14 03:08 12M 
[ ]acl2-books-source_8.0dfsg-1build1_all.deb2019-01-15 18:13 12M 
[ ]acl2-books-source_8.1dfsg-3_all.deb2019-04-21 19:43 13M 
[ ]acl2-books-source_8.1dfsg-4_all.deb2019-11-01 04:38 13M 
[ ]acl2-books-source_8.1dfsg-5_all.deb2019-12-09 04:43 13M 
[ ]acl2-books-source_8.1dfsg-6_all.deb2019-12-10 08:23 13M 
[ ]acl2-books-source_8.2dfsg-1_all.deb2019-12-20 04:43 14M 
[ ]acl2-books-source_8.2dfsg-2_all.deb2019-12-27 11:08 14M 
[ ]acl2-books-source_8.2dfsg-3_all.deb2019-12-31 18:53 14M 
[ ]acl2-books-source_8.2dfsg-3build1_all.deb2020-03-23 13:24 14M 
[ ]acl2-books-source_8.3dfsg-1_all.deb2020-08-24 12:19 19M 
[ ]acl2-books-source_8.3dfsg-2_all.deb2021-01-28 07:19 19M 
[ ]acl2-books-source_8.4dfsg-2_all.deb2021-12-19 01:10 21M 
[ ]acl2-books-source_8.5dfsg-1_all.deb2022-07-28 09:29 23M 
[ ]acl2-books-source_8.5dfsg-2_all.deb2022-12-23 02:29 23M 
[ ]acl2-books-source_8.5dfsg-3_all.deb2022-12-31 07:53 23M 
[ ]acl2-books-source_8.5dfsg-4_all.deb2023-01-14 16:49 23M 
[ ]acl2-books-source_8.5dfsg-5_all.deb2023-01-17 02:29 23M 
[ ]acl2-books-source_8.5dfsg-5build3_all.deb2024-04-02 08:02 23M 
[ ]acl2-books-source_8.5dfsg-6_all.deb2024-07-29 04:20 23M 
[ ]acl2-books-source_8.6+dfsg-2_all.deb2025-05-03 01:14 26M 
[ ]acl2-books-source_8.6+dfsg-3_all.deb2025-05-15 07:30 26M 
[ ]acl2-books_2.9.3-7_amd64.deb2005-10-29 02:45 1.1M 
[ ]acl2-books_2.9.3-7_i386.deb2005-10-27 23:20 813K 
[ ]acl2-books_2.9.3-7_powerpc.deb2005-12-21 08:55 1.2M 
[ ]acl2-books_2.9.3-7_sparc.deb2005-11-09 13:50 1.0M 
[ ]acl2-books_3.1-1_i386.deb2006-12-07 04:04 1.5M 
[ ]acl2-books_3.3-1ubuntu1_amd64.deb2008-02-17 02:03 6.1M 
[ ]acl2-books_3.4-1_amd64.deb2008-11-06 00:10 24M 
[ ]acl2-books_3.4-1_i386.deb2008-11-05 10:05 20M 
[ ]acl2-books_3.4-2_amd64.deb2009-04-29 01:04 23M 
[ ]acl2-books_3.4-2_i386.deb2009-04-28 23:06 20M 
[ ]acl2-books_3.6-4_amd64.deb2010-02-16 08:05 33M 
[ ]acl2-books_3.6-4_i386.deb2010-02-16 08:05 29M 
[ ]acl2-books_4.0-3_amd64.deb2010-09-07 05:05 37M 
[ ]acl2-books_4.0-3_i386.deb2010-09-08 22:05 32M 
[ ]acl2-books_4.1-5_amd64.deb2010-11-09 03:04 39M 
[ ]acl2-books_4.1-5_i386.deb2010-11-09 02:04 34M 
[ ]acl2-books_4.2-1_amd64.deb2011-09-02 04:04 39M 
[ ]acl2-books_4.2-1_i386.deb2011-09-02 03:04 34M 
[ ]acl2-books_4.3-2_amd64.deb2012-05-01 11:04 48M 
[ ]acl2-books_4.3-2_i386.deb2012-05-01 01:08 42M 
[ ]acl2-books_4.3-3_amd64.deb2012-05-18 16:34 15M 
[ ]acl2-books_4.3-3_i386.deb2012-05-18 14:33 13M 
[ ]acl2-books_5.0-1_amd64.deb2012-10-29 00:04 17M 
[ ]acl2-books_5.0-1_i386.deb2012-10-28 23:37 14M 
[ ]acl2-books_6.0-1_amd64.deb2013-01-13 14:03 18M 
[ ]acl2-books_6.0-1_i386.deb2013-01-13 13:33 16M 
[ ]acl2-books_6.0-2_amd64.deb2013-01-14 08:03 18M 
[ ]acl2-books_6.0-2_i386.deb2013-01-14 07:33 16M 
[ ]acl2-books_6.1-1_amd64.deb2013-05-13 10:03 29M 
[ ]acl2-books_6.1-1_i386.deb2013-05-13 10:03 25M 
[ ]acl2-books_6.1-3_amd64.deb2013-05-25 03:33 28M 
[ ]acl2-books_6.1-6_amd64.deb2013-07-03 10:08 29M 
[ ]acl2-books_6.2-1_amd64.deb2013-07-13 16:23 34M 
[ ]acl2-books_6.2-1_i386.deb2013-07-13 16:38 30M 
[ ]acl2-books_6.2-3_amd64.deb2013-07-23 10:13 34M 
[ ]acl2-books_6.2-3_i386.deb2013-07-23 10:28 30M 
[ ]acl2-books_6.2-4_amd64.deb2013-07-24 16:08 34M 
[ ]acl2-books_6.2-4_i386.deb2013-07-24 16:23 30M 
[ ]acl2-books_6.2-5_amd64.deb2013-07-29 22:23 34M 
[ ]acl2-books_6.2-5_i386.deb2013-07-29 22:28 30M 
[ ]acl2-books_6.2-6_amd64.deb2013-07-31 14:53 34M 
[ ]acl2-books_6.2-6_i386.deb2013-07-31 14:38 30M 
[ ]acl2-books_6.3-5_amd64.deb2013-10-24 16:36 40M 
[ ]acl2-books_6.3-5_i386.deb2013-10-24 16:36 36M 
[ ]acl2-books_6.4-4_amd64.deb2014-05-18 12:50 19M 
[ ]acl2-books_6.4-4_i386.deb2014-05-18 12:50 17M 
[ ]acl2-books_6.5-5_amd64.deb2014-10-27 19:53 22M 
[ ]acl2-books_6.5-5_i386.deb2014-10-27 19:54 21M 
[ ]acl2-books_7.0-1_amd64.deb2015-01-27 14:50 24M 
[ ]acl2-books_7.0-1_i386.deb2015-01-27 17:06 23M 
[ ]acl2-books_7.1-1_amd64.deb2015-06-27 13:48 19M 
[ ]acl2-books_7.1-1_i386.deb2015-06-02 02:43 18M 
[ ]acl2-books_7.1dfsg-2_i386.deb2015-10-30 05:39 55M 
[ ]acl2-books_7.2dfsg-1_i386.deb2016-04-27 12:32 89M 
[ ]acl2-books_7.2dfsg-2_amd64.deb2016-05-05 06:24 102M 
[ ]acl2-books_7.2dfsg-2_i386.deb2016-05-05 07:09 88M 
[ ]acl2-books_7.2dfsg-2build1_amd64.deb2016-09-17 18:37 103M 
[ ]acl2-books_7.2dfsg-2build1_i386.deb2016-09-17 18:39 86M 
[ ]acl2-books_7.2dfsg-2build2_amd64.deb2016-09-27 04:19 103M 
[ ]acl2-books_7.2dfsg-2build2_i386.deb2016-09-27 03:44 87M 
[ ]acl2-books_7.2dfsg-3_amd64.deb2016-11-03 21:25 103M 
[ ]acl2-books_7.2dfsg-3_i386.deb2016-11-03 21:25 89M 
[ ]acl2-books_7.4dfsg-1_amd64.deb2017-05-10 11:43 115M 
[ ]acl2-books_7.4dfsg-1_i386.deb2017-05-10 13:48 98M 
[ ]acl2-books_7.4dfsg-2_amd64.deb2017-05-31 18:58 120M 
[ ]acl2-books_7.4dfsg-2_i386.deb2017-05-31 18:59 103M 
[ ]acl2-books_7.4dfsg-2build1_amd64.deb2017-06-03 05:28 120M 
[ ]acl2-books_7.4dfsg-2build1_i386.deb2017-06-03 05:08 102M 
[ ]acl2-books_7.4dfsg-3.1_amd64.deb2017-08-10 07:37 119M 
[ ]acl2-books_7.4dfsg-3.1_i386.deb2017-08-10 07:38 102M 
[ ]acl2-books_7.4dfsg-3_amd64.deb2017-06-10 03:08 120M 
[ ]acl2-books_7.4dfsg-3_i386.deb2017-06-10 05:53 104M 
[ ]acl2-books_7.4dfsg-4_amd64.deb2017-11-03 11:11 119M 
[ ]acl2-books_7.4dfsg-4_i386.deb2017-11-03 17:55 102M 
[ ]acl2-books_8.0dfsg-1_amd64.deb2018-01-14 03:08 132M 
[ ]acl2-books_8.0dfsg-1_i386.deb2018-01-14 04:49 114M 
[ ]acl2-books_8.0dfsg-1build1_amd64.deb2019-01-15 18:13 145M 
[ ]acl2-books_8.0dfsg-1build1_i386.deb2019-01-15 16:47 127M 
[ ]acl2-books_8.1dfsg-3_amd64.deb2019-04-21 19:43 156M 
[ ]acl2-books_8.1dfsg-3_i386.deb2019-04-21 23:31 139M 
[ ]acl2-books_8.1dfsg-4_amd64.deb2019-11-01 04:38 156M 
[ ]acl2-books_8.1dfsg-4_i386.deb2019-11-01 05:28 140M 
[ ]acl2-books_8.1dfsg-5_amd64.deb2019-12-09 04:43 156M 
[ ]acl2-books_8.1dfsg-6_amd64.deb2019-12-10 08:23 156M 
[ ]acl2-books_8.2dfsg-1_amd64.deb2019-12-20 04:43 163M 
[ ]acl2-books_8.2dfsg-2_amd64.deb2019-12-27 11:08 163M 
[ ]acl2-books_8.2dfsg-3_amd64.deb2019-12-31 18:53 163M 
[ ]acl2-books_8.2dfsg-3build1_amd64.deb2020-03-23 13:24 163M 
[ ]acl2-books_8.3dfsg-1_amd64.deb2020-08-24 12:19 4.2K 
[ ]acl2-books_8.3dfsg-2_amd64.deb2021-01-28 07:19 241M 
[ ]acl2-books_8.4dfsg-2_amd64.deb2021-12-19 01:09 338M 
[ ]acl2-books_8.5dfsg-1_amd64.deb2022-07-28 09:29 335M 
[ ]acl2-books_8.5dfsg-2_amd64.deb2022-12-23 02:29 340M 
[ ]acl2-books_8.5dfsg-3_amd64.deb2022-12-31 07:53 330M 
[ ]acl2-books_8.5dfsg-4_amd64.deb2023-01-14 16:49 329M 
[ ]acl2-books_8.5dfsg-5_amd64.deb2023-01-17 02:29 329M 
[ ]acl2-books_8.5dfsg-5build3_amd64.deb2024-04-02 08:03 331M 
[ ]acl2-books_8.5dfsg-6_amd64.deb2024-07-29 04:20 171M 
[ ]acl2-books_8.6+dfsg-2_amd64.deb2025-05-03 01:14 469M 
[ ]acl2-books_8.6+dfsg-3_amd64.deb2025-05-15 07:30 469M 
[ ]acl2-doc_2.9.3-7_all.deb2005-10-27 23:20 1.8M 
[ ]acl2-doc_3.1-1_all.deb2006-12-07 04:04 1.9M 
[ ]acl2-doc_3.4-1_all.deb2008-11-05 10:04 2.2M 
[ ]acl2-doc_3.4-2_all.deb2009-04-28 23:05 2.2M 
[ ]acl2-doc_3.6-4_all.deb2010-02-16 08:05 2.3M 
[ ]acl2-doc_4.0-3_all.deb2010-09-08 22:05 2.6M 
[ ]acl2-doc_4.1-5_all.deb2010-11-09 02:04 2.6M 
[ ]acl2-doc_4.2-1_all.deb2011-09-02 03:03 264K 
[ ]acl2-doc_4.3-2_all.deb2012-05-01 01:05 343K 
[ ]acl2-doc_4.3-3_all.deb2012-05-18 14:33 348K 
[ ]acl2-doc_5.0-1_all.deb2012-10-28 23:37 356K 
[ ]acl2-doc_6.0-1_all.deb2013-01-13 13:33 7.2M 
[ ]acl2-doc_6.0-2_all.deb2013-01-14 07:33 7.2M 
[ ]acl2-doc_6.1-1_all.deb2013-05-13 10:03 7.3M 
[ ]acl2-doc_6.2-1_all.deb2013-07-13 16:38 7.5M 
[ ]acl2-doc_6.2-3_all.deb2013-07-23 10:28 7.5M 
[ ]acl2-doc_6.2-4_all.deb2013-07-24 16:23 7.5M 
[ ]acl2-doc_6.2-5_all.deb2013-07-29 22:28 7.5M 
[ ]acl2-doc_6.2-6_all.deb2013-07-31 14:38 7.5M 
[ ]acl2-doc_6.3-5_all.deb2013-10-24 16:36 12M 
[ ]acl2-doc_6.4-4_all.deb2014-05-18 12:50 1.6M 
[ ]acl2-doc_6.5-5_all.deb2014-10-27 19:53 1.6M 
[ ]acl2-doc_7.0-1_all.deb2015-01-27 14:50 331K 
[ ]acl2-doc_7.1-1_all.deb2015-06-27 13:48 353K 
[ ]acl2-doc_7.2dfsg-2_all.deb2016-05-05 06:24 366K 
[ ]acl2-doc_7.2dfsg-2build1_all.deb2016-09-17 18:37 366K 
[ ]acl2-doc_7.2dfsg-2build2_all.deb2016-09-27 04:19 366K 
[ ]acl2-doc_7.2dfsg-3_all.deb2016-11-03 21:25 366K 
[ ]acl2-doc_7.4dfsg-1_all.deb2017-05-10 11:43 372K 
[ ]acl2-doc_7.4dfsg-2_all.deb2017-05-31 18:58 372K 
[ ]acl2-doc_7.4dfsg-2build1_all.deb2017-06-03 05:28 372K 
[ ]acl2-doc_7.4dfsg-3.1_all.deb2017-08-10 07:37 372K 
[ ]acl2-doc_7.4dfsg-3_all.deb2017-06-10 03:08 372K 
[ ]acl2-doc_7.4dfsg-4_all.deb2017-11-03 11:11 371K 
[ ]acl2-doc_8.0dfsg-1_all.deb2018-01-14 03:08 385K 
[ ]acl2-doc_8.0dfsg-1build1_all.deb2019-01-15 18:13 385K 
[ ]acl2-doc_8.1dfsg-3_all.deb2019-04-21 19:43 396K 
[ ]acl2-doc_8.1dfsg-4_all.deb2019-11-01 04:38 396K 
[ ]acl2-doc_8.1dfsg-5_all.deb2019-12-09 04:43 396K 
[ ]acl2-doc_8.1dfsg-6_all.deb2019-12-10 08:23 396K 
[ ]acl2-doc_8.2dfsg-1_all.deb2019-12-20 04:43 415K 
[ ]acl2-doc_8.2dfsg-2_all.deb2019-12-27 11:08 415K 
[ ]acl2-doc_8.2dfsg-3_all.deb2019-12-31 18:53 415K 
[ ]acl2-doc_8.2dfsg-3build1_all.deb2020-03-23 13:24 418K 
[ ]acl2-doc_8.3dfsg-1_all.deb2020-08-24 12:18 429K 
[ ]acl2-doc_8.3dfsg-2_all.deb2021-01-28 07:19 429K 
[ ]acl2-doc_8.4dfsg-2_all.deb2021-12-19 01:09 441K 
[ ]acl2-doc_8.5dfsg-1_all.deb2022-07-28 09:29 473K 
[ ]acl2-doc_8.5dfsg-2_all.deb2022-12-23 02:29 473K 
[ ]acl2-doc_8.5dfsg-3_all.deb2022-12-31 07:53 473K 
[ ]acl2-doc_8.5dfsg-4_all.deb2023-01-14 16:49 473K 
[ ]acl2-doc_8.5dfsg-5_all.deb2023-01-17 02:29 473K 
[ ]acl2-doc_8.5dfsg-5build3_all.deb2024-04-02 08:02 474K 
[ ]acl2-doc_8.5dfsg-6_all.deb2024-07-29 04:20 474K 
[ ]acl2-doc_8.6+dfsg-2_all.deb2025-05-03 01:14 516K 
[ ]acl2-doc_8.6+dfsg-3_all.deb2025-05-15 07:30 516K 
[ ]acl2-emacs_2.9.3-7_all.deb2005-10-27 23:20 48K 
[ ]acl2-emacs_3.1-1_all.deb2006-12-07 04:04 49K 
[ ]acl2-emacs_3.4-1_all.deb2008-11-05 10:04 54K 
[ ]acl2-emacs_3.4-2_all.deb2009-04-28 23:05 54K 
[ ]acl2-emacs_3.6-4_all.deb2010-02-16 08:05 56K 
[ ]acl2-emacs_4.0-3_all.deb2010-09-08 22:05 56K 
[ ]acl2-emacs_4.1-5_all.deb2010-11-09 02:04 50K 
[ ]acl2-emacs_4.2-1_all.deb2011-09-02 03:03 52K 
[ ]acl2-emacs_4.3-2_all.deb2012-05-01 01:05 51K 
[ ]acl2-emacs_4.3-3_all.deb2012-05-18 14:33 53K 
[ ]acl2-emacs_5.0-1_all.deb2012-10-28 23:37 54K 
[ ]acl2-emacs_6.0-1_all.deb2013-01-13 13:33 54K 
[ ]acl2-emacs_6.0-2_all.deb2013-01-14 07:33 54K 
[ ]acl2-emacs_6.1-1_all.deb2013-05-13 10:03 54K 
[ ]acl2-emacs_6.2-1_all.deb2013-07-13 16:38 55K 
[ ]acl2-emacs_6.2-3_all.deb2013-07-23 10:28 55K 
[ ]acl2-emacs_6.2-4_all.deb2013-07-24 16:23 53K 
[ ]acl2-emacs_6.2-5_all.deb2013-07-29 22:28 54K 
[ ]acl2-emacs_6.2-6_all.deb2013-07-31 14:38 53K 
[ ]acl2-emacs_6.3-5_all.deb2013-10-24 16:36 55K 
[ ]acl2-emacs_6.4-4_all.deb2014-05-18 12:50 53K 
[ ]acl2-emacs_6.5-5_all.deb2014-10-27 19:53 54K 
[ ]acl2-emacs_7.0-1_all.deb2015-01-27 14:50 54K 
[ ]acl2-emacs_7.1-1_all.deb2015-06-27 13:48 55K 
[ ]acl2-emacs_7.2dfsg-2_all.deb2016-05-05 06:24 56K 
[ ]acl2-emacs_7.2dfsg-2build1_all.deb2016-09-17 18:37 56K 
[ ]acl2-emacs_7.2dfsg-2build2_all.deb2016-09-27 04:19 56K 
[ ]acl2-emacs_7.2dfsg-3_all.deb2016-11-03 21:25 56K 
[ ]acl2-emacs_7.4dfsg-1_all.deb2017-05-10 11:43 59K 
[ ]acl2-emacs_7.4dfsg-2_all.deb2017-05-31 18:58 59K 
[ ]acl2-emacs_7.4dfsg-2build1_all.deb2017-06-03 05:28 59K 
[ ]acl2-emacs_7.4dfsg-3.1_all.deb2017-08-10 07:37 59K 
[ ]acl2-emacs_7.4dfsg-3_all.deb2017-06-10 03:08 59K 
[ ]acl2-emacs_7.4dfsg-4_all.deb2017-11-03 11:11 59K 
[ ]acl2-emacs_8.0dfsg-1_all.deb2018-01-14 03:08 59K 
[ ]acl2-emacs_8.0dfsg-1build1_all.deb2019-01-15 18:13 59K 
[ ]acl2-emacs_8.1dfsg-3_all.deb2019-04-21 19:43 59K 
[ ]acl2-emacs_8.1dfsg-4_all.deb2019-11-01 04:38 59K 
[ ]acl2-emacs_8.1dfsg-5_all.deb2019-12-09 04:43 59K 
[ ]acl2-emacs_8.1dfsg-6_all.deb2019-12-10 08:23 59K 
[ ]acl2-emacs_8.2dfsg-1_all.deb2019-12-20 04:43 59K 
[ ]acl2-emacs_8.2dfsg-2_all.deb2019-12-27 11:08 59K 
[ ]acl2-emacs_8.2dfsg-3_all.deb2019-12-31 18:53 59K 
[ ]acl2-emacs_8.2dfsg-3build1_all.deb2020-03-23 13:24 59K 
[ ]acl2-emacs_8.3dfsg-1_all.deb2020-08-24 12:19 60K 
[ ]acl2-emacs_8.3dfsg-2_all.deb2021-01-28 07:19 60K 
[ ]acl2-infix-source_2.9.3-7_all.deb2005-10-27 23:20 83K 
[ ]acl2-infix-source_3.1-1_all.deb2006-12-07 04:04 83K 
[ ]acl2-infix-source_3.4-1_all.deb2008-11-05 10:04 84K 
[ ]acl2-infix-source_3.4-2_all.deb2009-04-28 23:05 84K 
[ ]acl2-infix-source_3.6-4_all.deb2010-02-16 08:05 84K 
[ ]acl2-infix-source_4.0-3_all.deb2010-09-08 22:05 85K 
[ ]acl2-infix-source_4.1-5_all.deb2010-11-09 02:04 78K 
[ ]acl2-infix-source_4.2-1_all.deb2011-09-02 03:03 80K 
[ ]acl2-infix-source_4.3-2_all.deb2012-05-01 01:05 84K 
[ ]acl2-infix-source_4.3-3_all.deb2012-05-18 14:33 86K 
[ ]acl2-infix-source_5.0-1_all.deb2012-10-28 23:37 83K 
[ ]acl2-infix-source_6.0-1_all.deb2013-01-13 13:33 87K 
[ ]acl2-infix-source_6.0-2_all.deb2013-01-14 07:33 87K 
[ ]acl2-infix-source_6.1-1_all.deb2013-05-13 10:03 87K 
[ ]acl2-infix-source_6.2-1_all.deb2013-07-13 16:38 86K 
[ ]acl2-infix-source_6.2-3_all.deb2013-07-23 10:28 86K 
[ ]acl2-infix-source_6.2-4_all.deb2013-07-24 16:23 86K 
[ ]acl2-infix-source_6.2-5_all.deb2013-07-29 22:28 84K 
[ ]acl2-infix-source_6.2-6_all.deb2013-07-31 14:38 86K 
[ ]acl2-infix-source_6.3-5_all.deb2013-10-24 16:36 86K 
[ ]acl2-infix-source_6.4-4_all.deb2014-05-18 12:50 70K 
[ ]acl2-infix-source_6.5-5_all.deb2014-10-27 19:53 72K 
[ ]acl2-infix-source_7.0-1_all.deb2015-01-27 14:50 72K 
[ ]acl2-infix-source_7.1-1_all.deb2015-06-27 13:48 70K 
[ ]acl2-infix-source_7.2dfsg-2_all.deb2016-05-05 06:24 71K 
[ ]acl2-infix-source_7.2dfsg-2build1_all.deb2016-09-17 18:37 71K 
[ ]acl2-infix-source_7.2dfsg-2build2_all.deb2016-09-27 04:19 71K 
[ ]acl2-infix-source_7.2dfsg-3_all.deb2016-11-03 21:25 71K 
[ ]acl2-infix-source_7.4dfsg-1_all.deb2017-05-10 11:43 71K 
[ ]acl2-infix-source_7.4dfsg-2_all.deb2017-05-31 18:58 71K 
[ ]acl2-infix-source_7.4dfsg-2build1_all.deb2017-06-03 05:28 71K 
[ ]acl2-infix-source_7.4dfsg-3.1_all.deb2017-08-10 07:37 71K 
[ ]acl2-infix-source_7.4dfsg-3_all.deb2017-06-10 03:08 71K 
[ ]acl2-infix-source_7.4dfsg-4_all.deb2017-11-03 11:11 71K 
[ ]acl2-infix-source_8.0dfsg-1_all.deb2018-01-14 03:08 70K 
[ ]acl2-infix-source_8.0dfsg-1build1_all.deb2019-01-15 18:13 70K 
[ ]acl2-infix-source_8.1dfsg-3_all.deb2019-04-21 19:43 70K 
[ ]acl2-infix-source_8.1dfsg-4_all.deb2019-11-01 04:38 70K 
[ ]acl2-infix-source_8.1dfsg-5_all.deb2019-12-09 04:43 70K 
[ ]acl2-infix-source_8.1dfsg-6_all.deb2019-12-10 08:23 70K 
[ ]acl2-infix-source_8.2dfsg-1_all.deb2019-12-20 04:43 70K 
[ ]acl2-infix-source_8.2dfsg-2_all.deb2019-12-27 11:08 70K 
[ ]acl2-infix-source_8.2dfsg-3_all.deb2019-12-31 18:53 70K 
[ ]acl2-infix-source_8.2dfsg-3build1_all.deb2020-03-23 13:24 70K 
[ ]acl2-infix-source_8.3dfsg-1_all.deb2020-08-24 12:18 70K 
[ ]acl2-infix-source_8.3dfsg-2_all.deb2021-01-28 07:19 70K 
[ ]acl2-infix-source_8.4dfsg-2_all.deb2021-12-19 01:10 72K 
[ ]acl2-infix-source_8.5dfsg-1_all.deb2022-07-28 09:29 72K 
[ ]acl2-infix-source_8.5dfsg-2_all.deb2022-12-23 02:29 72K 
[ ]acl2-infix-source_8.5dfsg-3_all.deb2022-12-31 07:53 72K 
[ ]acl2-infix-source_8.5dfsg-4_all.deb2023-01-14 16:49 72K 
[ ]acl2-infix-source_8.5dfsg-5_all.deb2023-01-17 02:29 72K 
[ ]acl2-infix-source_8.5dfsg-5build3_all.deb2024-04-02 08:02 72K 
[ ]acl2-infix-source_8.5dfsg-6_all.deb2024-07-29 04:20 72K 
[ ]acl2-infix-source_8.6+dfsg-2_all.deb2025-05-03 01:14 73K 
[ ]acl2-infix-source_8.6+dfsg-3_all.deb2025-05-15 07:30 73K 
[ ]acl2-infix_2.9.3-7_amd64.deb2005-10-29 02:45 198K 
[ ]acl2-infix_2.9.3-7_i386.deb2005-10-27 23:20 165K 
[ ]acl2-infix_2.9.3-7_powerpc.deb2005-12-21 08:55 240K 
[ ]acl2-infix_2.9.3-7_sparc.deb2005-11-09 13:50 217K 
[ ]acl2-infix_3.1-1_i386.deb2006-12-07 04:04 166K 
[ ]acl2-infix_3.3-1ubuntu1_amd64.deb2008-02-17 02:03 195K 
[ ]acl2-infix_3.4-1_amd64.deb2008-11-06 00:10 432K 
[ ]acl2-infix_3.4-1_i386.deb2008-11-05 10:05 389K 
[ ]acl2-infix_3.4-2_amd64.deb2009-04-29 01:04 408K 
[ ]acl2-infix_3.4-2_i386.deb2009-04-28 23:05 375K 
[ ]acl2-infix_3.6-4_amd64.deb2010-02-16 08:05 421K 
[ ]acl2-infix_3.6-4_i386.deb2010-02-16 08:05 379K 
[ ]acl2-infix_4.0-3_amd64.deb2010-09-07 05:05 421K 
[ ]acl2-infix_4.0-3_i386.deb2010-09-08 22:05 380K 
[ ]acl2-infix_4.1-5_amd64.deb2010-11-09 03:04 441K 
[ ]acl2-infix_4.1-5_i386.deb2010-11-09 02:04 403K 
[ ]acl2-infix_4.2-1_amd64.deb2011-09-02 04:04 438K 
[ ]acl2-infix_4.2-1_i386.deb2011-09-02 03:04 400K 
[ ]acl2-infix_4.3-2_amd64.deb2012-05-01 11:04 485K 
[ ]acl2-infix_4.3-2_i386.deb2012-05-01 01:08 446K 
[ ]acl2-infix_4.3-3_amd64.deb2012-05-18 16:34 194K 
[ ]acl2-infix_4.3-3_i386.deb2012-05-18 14:33 173K 
[ ]acl2-infix_5.0-1_amd64.deb2012-10-29 00:04 194K 
[ ]acl2-infix_5.0-1_i386.deb2012-10-28 23:37 174K 
[ ]acl2-infix_6.0-1_amd64.deb2013-01-13 14:03 195K 
[ ]acl2-infix_6.0-1_i386.deb2013-01-13 13:33 175K 
[ ]acl2-infix_6.0-2_amd64.deb2013-01-14 08:03 195K 
[ ]acl2-infix_6.0-2_i386.deb2013-01-14 07:33 174K 
[ ]acl2-infix_6.1-1_amd64.deb2013-05-13 10:03 193K 
[ ]acl2-infix_6.1-1_i386.deb2013-05-13 10:03 172K 
[ ]acl2-infix_6.1-3_amd64.deb2013-05-25 03:33 193K 
[ ]acl2-infix_6.1-6_amd64.deb2013-07-03 10:08 198K 
[ ]acl2-infix_6.2-1_amd64.deb2013-07-13 16:23 198K 
[ ]acl2-infix_6.2-1_i386.deb2013-07-13 16:38 183K 
[ ]acl2-infix_6.2-3_amd64.deb2013-07-23 10:13 198K 
[ ]acl2-infix_6.2-3_i386.deb2013-07-23 10:28 183K 
[ ]acl2-infix_6.2-4_amd64.deb2013-07-24 16:08 198K 
[ ]acl2-infix_6.2-4_i386.deb2013-07-24 16:23 181K 
[ ]acl2-infix_6.2-5_amd64.deb2013-07-29 22:23 198K 
[ ]acl2-infix_6.2-5_i386.deb2013-07-29 22:28 183K 
[ ]acl2-infix_6.2-6_amd64.deb2013-07-31 14:53 198K 
[ ]acl2-infix_6.2-6_i386.deb2013-07-31 14:38 181K 
[ ]acl2-infix_6.3-5_amd64.deb2013-10-24 16:36 200K 
[ ]acl2-infix_6.3-5_i386.deb2013-10-24 16:36 189K 
[ ]acl2-infix_6.4-4_amd64.deb2014-05-18 12:50 140K 
[ ]acl2-infix_6.4-4_i386.deb2014-05-18 12:50 136K 
[ ]acl2-infix_6.5-5_amd64.deb2014-10-27 19:53 142K 
[ ]acl2-infix_6.5-5_i386.deb2014-10-27 19:54 145K 
[ ]acl2-infix_7.0-1_amd64.deb2015-01-27 14:50 140K 
[ ]acl2-infix_7.0-1_i386.deb2015-01-27 17:06 142K 
[ ]acl2-infix_7.1-1_amd64.deb2015-06-27 13:48 140K 
[ ]acl2-infix_7.1-1_i386.deb2015-06-02 02:43 142K 
[ ]acl2-infix_7.1dfsg-2_i386.deb2015-10-30 05:39 368K 
[ ]acl2-infix_7.2dfsg-1_i386.deb2016-04-27 12:32 369K 
[ ]acl2-infix_7.2dfsg-2_amd64.deb2016-05-05 06:24 392K 
[ ]acl2-infix_7.2dfsg-2_i386.deb2016-05-05 07:09 369K 
[ ]acl2-infix_7.2dfsg-2build1_amd64.deb2016-09-17 18:37 401K 
[ ]acl2-infix_7.2dfsg-2build1_i386.deb2016-09-17 18:39 373K 
[ ]acl2-infix_7.2dfsg-2build2_amd64.deb2016-09-27 04:19 401K 
[ ]acl2-infix_7.2dfsg-2build2_i386.deb2016-09-27 03:44 374K 
[ ]acl2-infix_7.2dfsg-3_amd64.deb2016-11-03 21:25 400K 
[ ]acl2-infix_7.2dfsg-3_i386.deb2016-11-03 21:25 374K 
[ ]acl2-infix_7.4dfsg-1_amd64.deb2017-05-10 11:43 403K 
[ ]acl2-infix_7.4dfsg-1_i386.deb2017-05-10 13:48 372K 
[ ]acl2-infix_7.4dfsg-2_amd64.deb2017-05-31 18:58 408K 
[ ]acl2-infix_7.4dfsg-2_i386.deb2017-05-31 18:59 380K 
[ ]acl2-infix_7.4dfsg-2build1_amd64.deb2017-06-03 05:28 406K 
[ ]acl2-infix_7.4dfsg-2build1_i386.deb2017-06-03 05:08 380K 
[ ]acl2-infix_7.4dfsg-3.1_amd64.deb2017-08-10 07:37 413K 
[ ]acl2-infix_7.4dfsg-3.1_i386.deb2017-08-10 07:38 381K 
[ ]acl2-infix_7.4dfsg-3_amd64.deb2017-06-10 03:08 409K 
[ ]acl2-infix_7.4dfsg-3_i386.deb2017-06-10 05:53 380K 
[ ]acl2-infix_7.4dfsg-4_amd64.deb2017-11-03 11:11 415K 
[ ]acl2-infix_7.4dfsg-4_i386.deb2017-11-03 17:55 380K 
[ ]acl2-infix_8.0dfsg-1_amd64.deb2018-01-14 03:08 414K 
[ ]acl2-infix_8.0dfsg-1_i386.deb2018-01-14 04:49 381K 
[ ]acl2-infix_8.0dfsg-1build1_amd64.deb2019-01-15 18:13 471K 
[ ]acl2-infix_8.0dfsg-1build1_i386.deb2019-01-15 16:47 434K 
[ ]acl2-infix_8.1dfsg-3_amd64.deb2019-04-21 19:43 472K 
[ ]acl2-infix_8.1dfsg-3_i386.deb2019-04-21 23:31 475K 
[ ]acl2-infix_8.1dfsg-4_amd64.deb2019-11-01 04:38 473K 
[ ]acl2-infix_8.1dfsg-4_i386.deb2019-11-01 05:28 476K 
[ ]acl2-infix_8.1dfsg-5_amd64.deb2019-12-09 04:43 472K 
[ ]acl2-infix_8.1dfsg-6_amd64.deb2019-12-10 08:23 475K 
[ ]acl2-infix_8.2dfsg-1_amd64.deb2019-12-20 04:43 476K 
[ ]acl2-infix_8.2dfsg-2_amd64.deb2019-12-27 11:08 470K 
[ ]acl2-infix_8.2dfsg-3_amd64.deb2019-12-31 18:53 476K 
[ ]acl2-infix_8.2dfsg-3build1_amd64.deb2020-03-23 13:24 470K 
[ ]acl2-infix_8.3dfsg-1_amd64.deb2020-08-24 12:19 472K 
[ ]acl2-infix_8.3dfsg-2_amd64.deb2021-01-28 07:19 471K 
[ ]acl2-infix_8.4dfsg-2_amd64.deb2021-12-19 01:09 551K 
[ ]acl2-infix_8.5dfsg-1_amd64.deb2022-07-28 09:29 533K 
[ ]acl2-infix_8.5dfsg-2_amd64.deb2022-12-23 02:29 539K 
[ ]acl2-infix_8.5dfsg-3_amd64.deb2022-12-31 07:53 532K 
[ ]acl2-infix_8.5dfsg-4_amd64.deb2023-01-14 16:49 533K 
[ ]acl2-infix_8.5dfsg-5_amd64.deb2023-01-17 02:29 533K 
[ ]acl2-infix_8.5dfsg-5build3_amd64.deb2024-04-02 08:02 538K 
[ ]acl2-infix_8.5dfsg-6_amd64.deb2024-07-29 04:20 533K 
[ ]acl2-infix_8.6+dfsg-2_amd64.deb2025-05-03 01:14 1.0M 
[ ]acl2-infix_8.6+dfsg-3_amd64.deb2025-05-15 07:30 1.0M 
[ ]acl2-source_2.9.3-7_all.deb2005-10-27 23:20 2.0M 
[ ]acl2-source_3.1-1_all.deb2006-12-07 04:04 2.2M 
[ ]acl2-source_3.4-1_all.deb2008-11-05 10:04 2.5M 
[ ]acl2-source_3.4-2_all.deb2009-04-28 23:05 2.5M 
[ ]acl2-source_3.6-4_all.deb2010-02-16 08:05 2.6M 
[ ]acl2-source_4.0-3_all.deb2010-09-08 22:05 2.9M 
[ ]acl2-source_4.1-5_all.deb2010-11-09 02:04 2.9M 
[ ]acl2-source_4.2-1_all.deb2011-09-02 03:03 3.0M 
[ ]acl2-source_4.3-2_all.deb2012-05-01 01:05 3.1M 
[ ]acl2-source_4.3-3_all.deb2012-05-18 14:33 3.1M 
[ ]acl2-source_5.0-1_all.deb2012-10-28 23:37 3.4M 
[ ]acl2-source_6.0-1_all.deb2013-01-13 13:33 3.5M 
[ ]acl2-source_6.0-2_all.deb2013-01-14 07:33 3.5M 
[ ]acl2-source_6.1-1_all.deb2013-05-13 10:03 3.6M 
[ ]acl2-source_6.2-1_all.deb2013-07-13 16:38 3.6M 
[ ]acl2-source_6.2-3_all.deb2013-07-23 10:28 3.6M 
[ ]acl2-source_6.2-4_all.deb2013-07-24 16:23 3.6M 
[ ]acl2-source_6.2-5_all.deb2013-07-29 22:28 3.6M 
[ ]acl2-source_6.2-6_all.deb2013-07-31 14:38 3.6M 
[ ]acl2-source_6.3-5_all.deb2013-10-24 16:36 3.6M 
[ ]acl2-source_6.4-4_all.deb2014-05-18 12:50 2.6M 
[ ]acl2-source_6.5-5_all.deb2014-10-27 19:53 2.6M 
[ ]acl2-source_7.0-1_all.deb2015-01-27 14:50 2.7M 
[ ]acl2-source_7.1-1_all.deb2015-06-27 13:48 2.7M 
[ ]acl2-source_7.2dfsg-2_all.deb2016-05-05 06:24 2.8M 
[ ]acl2-source_7.2dfsg-2build1_all.deb2016-09-17 18:37 2.7M 
[ ]acl2-source_7.2dfsg-2build2_all.deb2016-09-27 04:19 2.7M 
[ ]acl2-source_7.2dfsg-3_all.deb2016-11-03 21:25 2.7M 
[ ]acl2-source_7.4dfsg-1_all.deb2017-05-10 11:43 2.9M 
[ ]acl2-source_7.4dfsg-2_all.deb2017-05-31 18:58 2.9M 
[ ]acl2-source_7.4dfsg-2build1_all.deb2017-06-03 05:28 2.9M 
[ ]acl2-source_7.4dfsg-3.1_all.deb2017-08-10 07:37 2.9M 
[ ]acl2-source_7.4dfsg-3_all.deb2017-06-10 03:08 2.9M 
[ ]acl2-source_7.4dfsg-4_all.deb2017-11-03 11:11 2.9M 
[ ]acl2-source_8.0dfsg-1_all.deb2018-01-14 03:08 2.9M 
[ ]acl2-source_8.0dfsg-1build1_all.deb2019-01-15 18:13 2.9M 
[ ]acl2-source_8.1dfsg-3_all.deb2019-04-21 19:43 3.0M 
[ ]acl2-source_8.1dfsg-4_all.deb2019-11-01 04:38 3.0M 
[ ]acl2-source_8.1dfsg-5_all.deb2019-12-09 04:43 3.0M 
[ ]acl2-source_8.1dfsg-6_all.deb2019-12-10 08:23 3.0M 
[ ]acl2-source_8.2dfsg-1_all.deb2019-12-20 04:43 3.1M 
[ ]acl2-source_8.2dfsg-2_all.deb2019-12-27 11:08 3.1M 
[ ]acl2-source_8.2dfsg-3_all.deb2019-12-31 18:53 3.1M 
[ ]acl2-source_8.2dfsg-3build1_all.deb2020-03-23 13:24 3.1M 
[ ]acl2-source_8.3dfsg-1_all.deb2020-08-24 12:19 3.2M 
[ ]acl2-source_8.3dfsg-2_all.deb2021-01-28 07:19 3.2M 
[ ]acl2-source_8.4dfsg-2_all.deb2021-12-19 01:10 3.4M 
[ ]acl2-source_8.5dfsg-1_all.deb2022-07-28 09:29 3.5M 
[ ]acl2-source_8.5dfsg-2_all.deb2022-12-23 02:29 3.5M 
[ ]acl2-source_8.5dfsg-3_all.deb2022-12-31 07:53 3.5M 
[ ]acl2-source_8.5dfsg-4_all.deb2023-01-14 16:49 3.5M 
[ ]acl2-source_8.5dfsg-5_all.deb2023-01-17 02:29 3.5M 
[ ]acl2-source_8.5dfsg-5build3_all.deb2024-04-02 08:02 3.5M 
[ ]acl2-source_8.5dfsg-6_all.deb2024-07-29 04:20 3.5M 
[ ]acl2-source_8.6+dfsg-2_all.deb2025-05-03 01:14 3.9M 
[ ]acl2-source_8.6+dfsg-3_all.deb2025-05-15 07:30 3.9M 
[ ]acl2_2.9.3-7.diff.gz2005-10-25 02:40 20K 
[ ]acl2_2.9.3-7.dsc2005-10-25 02:40 805  
[ ]acl2_2.9.3-7_amd64.deb2005-10-29 02:45 16M 
[ ]acl2_2.9.3-7_i386.deb2005-10-27 23:20 13M 
[ ]acl2_2.9.3-7_powerpc.deb2005-12-21 08:55 15M 
[ ]acl2_2.9.3-7_sparc.deb2005-11-09 13:50 17M 
[ ]acl2_2.9.3.orig.tar.gz2005-10-08 14:55 5.2M 
[ ]acl2_3.1-1_i386.deb2006-12-07 04:04 15M 
[ ]acl2_3.3-1ubuntu1.diff.gz2008-02-17 00:03 13K 
[ ]acl2_3.3-1ubuntu1.dsc2008-02-17 00:03 1.0K 
[ ]acl2_3.3-1ubuntu1_amd64.deb2008-02-17 02:03 18M 
[ ]acl2_3.3.orig.tar.gz2007-12-04 12:05 7.0M 
[ ]acl2_3.4-1.diff.gz2008-11-05 02:06 13K 
[ ]acl2_3.4-1.dsc2008-11-05 02:06 1.1K 
[ ]acl2_3.4-1_amd64.deb2008-11-06 00:10 21M 
[ ]acl2_3.4-1_i386.deb2008-11-05 10:05 18M 
[ ]acl2_3.4-2.diff.gz2009-04-28 21:04 14K 
[ ]acl2_3.4-2.dsc2009-04-28 21:04 1.2K 
[ ]acl2_3.4-2_amd64.deb2009-04-29 01:04 21M 
[ ]acl2_3.4-2_i386.deb2009-04-28 23:06 18M 
[ ]acl2_3.4.orig.tar.gz2008-11-05 02:06 7.6M 
[ ]acl2_3.6-4.diff.gz2010-02-02 00:06 15K 
[ ]acl2_3.6-4.dsc2010-02-02 00:06 1.1K 
[ ]acl2_3.6-4_amd64.deb2010-02-16 08:05 22M 
[ ]acl2_3.6-4_i386.deb2010-02-16 08:05 20M 
[ ]acl2_3.6.orig.tar.gz2010-02-02 00:06 10M 
[ ]acl2_4.0-3.diff.gz2010-09-07 00:05 16K 
[ ]acl2_4.0-3.dsc2010-09-07 00:05 1.1K 
[ ]acl2_4.0-3_amd64.deb2010-09-07 05:05 25M 
[ ]acl2_4.0-3_i386.deb2010-09-08 22:05 21M 
[ ]acl2_4.0.orig.tar.gz2010-09-07 00:05 11M 
[ ]acl2_4.1-5.debian.tar.gz2010-11-07 12:05 17K 
[ ]acl2_4.1-5.dsc2010-11-07 12:05 1.2K 
[ ]acl2_4.1-5_amd64.deb2010-11-09 03:04 25M 
[ ]acl2_4.1-5_i386.deb2010-11-09 02:04 21M 
[ ]acl2_4.1.orig.tar.gz2010-10-15 11:08 11M 
[ ]acl2_4.2-1.debian.tar.gz2011-05-15 13:04 17K 
[ ]acl2_4.2-1.dsc2011-05-15 13:04 1.2K 
[ ]acl2_4.2-1_amd64.deb2011-09-02 04:04 25M 
[ ]acl2_4.2-1_i386.deb2011-09-02 03:04 22M 
[ ]acl2_4.2.orig.tar.gz2011-05-15 13:04 11M 
[ ]acl2_4.3-2.debian.tar.gz2012-04-30 19:43 18K 
[ ]acl2_4.3-2.dsc2012-04-30 19:43 1.4K 
[ ]acl2_4.3-2_amd64.deb2012-05-01 11:04 28M 
[ ]acl2_4.3-2_i386.deb2012-05-01 01:08 24M 
[ ]acl2_4.3-3.debian.tar.gz2012-05-06 04:34 18K 
[ ]acl2_4.3-3.dsc2012-05-06 04:34 1.5K 
[ ]acl2_4.3-3_amd64.deb2012-05-18 16:34 27M 
[ ]acl2_4.3-3_i386.deb2012-05-18 14:33 23M 
[ ]acl2_4.3.orig.tar.gz2012-04-30 19:43 15M 
[ ]acl2_5.0-1.debian.tar.gz2012-10-28 21:34 18K 
[ ]acl2_5.0-1.dsc2012-10-28 21:34 1.5K 
[ ]acl2_5.0-1_amd64.deb2012-10-29 00:04 29M 
[ ]acl2_5.0-1_i386.deb2012-10-28 23:37 25M 
[ ]acl2_5.0.orig.tar.gz2012-10-28 21:34 17M 
[ ]acl2_6.0-1.debian.tar.gz2013-01-13 11:33 155K 
[ ]acl2_6.0-1.dsc2013-01-13 11:33 1.7K 
[ ]acl2_6.0-1_amd64.deb2013-01-13 14:03 30M 
[ ]acl2_6.0-1_i386.deb2013-01-13 13:33 26M 
[ ]acl2_6.0-2.debian.tar.gz2013-01-14 05:33 155K 
[ ]acl2_6.0-2.dsc2013-01-14 05:33 1.7K 
[ ]acl2_6.0-2_amd64.deb2013-01-14 08:03 30M 
[ ]acl2_6.0-2_i386.deb2013-01-14 07:33 26M 
[ ]acl2_6.0.orig-books.tar.gz2013-01-13 11:33 10M 
[ ]acl2_6.0.orig.tar.gz2013-01-13 11:33 6.5M 
[ ]acl2_6.1-1.debian.tar.gz2013-05-13 05:33 156K 
[ ]acl2_6.1-1.dsc2013-05-13 05:33 1.7K 
[ ]acl2_6.1-1_amd64.deb2013-05-13 10:03 30M 
[ ]acl2_6.1-1_i386.deb2013-05-13 10:03 26M 
[ ]acl2_6.1-2.debian.tar.gz2013-05-22 23:33 156K 
[ ]acl2_6.1-2.dsc2013-05-22 23:33 1.7K 
[ ]acl2_6.1-3.debian.tar.gz2013-05-24 23:04 156K 
[ ]acl2_6.1-3.dsc2013-05-24 23:04 1.7K 
[ ]acl2_6.1-3_amd64.deb2013-05-25 03:33 31M 
[ ]acl2_6.1-5.debian.tar.gz2013-06-25 12:35 156K 
[ ]acl2_6.1-5.dsc2013-06-25 12:35 1.7K 
[ ]acl2_6.1-6.debian.tar.gz2013-07-03 05:33 156K 
[ ]acl2_6.1-6.dsc2013-07-03 05:33 1.7K 
[ ]acl2_6.1-6_amd64.deb2013-07-03 10:08 26M 
[ ]acl2_6.1.orig-books.tar.gz2013-05-13 05:33 11M 
[ ]acl2_6.1.orig.tar.gz2013-05-13 05:33 6.5M 
[ ]acl2_6.2-1.debian.tar.gz2013-07-13 11:28 156K 
[ ]acl2_6.2-1.dsc2013-07-13 11:28 1.7K 
[ ]acl2_6.2-1_amd64.deb2013-07-13 16:23 27M 
[ ]acl2_6.2-1_i386.deb2013-07-13 16:38 23M 
[ ]acl2_6.2-3.debian.tar.gz2013-07-23 05:23 157K 
[ ]acl2_6.2-3.dsc2013-07-23 05:23 1.7K 
[ ]acl2_6.2-3_amd64.deb2013-07-23 10:13 27M 
[ ]acl2_6.2-3_i386.deb2013-07-23 10:28 23M 
[ ]acl2_6.2-4.debian.tar.gz2013-07-24 11:13 157K 
[ ]acl2_6.2-4.dsc2013-07-24 11:13 1.7K 
[ ]acl2_6.2-4_amd64.deb2013-07-24 16:08 27M 
[ ]acl2_6.2-4_i386.deb2013-07-24 16:23 23M 
[ ]acl2_6.2-5.debian.tar.gz2013-07-29 17:29 157K 
[ ]acl2_6.2-5.dsc2013-07-29 17:29 1.7K 
[ ]acl2_6.2-5_amd64.deb2013-07-29 22:23 27M 
[ ]acl2_6.2-5_i386.deb2013-07-29 22:28 23M 
[ ]acl2_6.2-6.debian.tar.gz2013-07-31 09:38 157K 
[ ]acl2_6.2-6.dsc2013-07-31 09:38 1.7K 
[ ]acl2_6.2-6_amd64.deb2013-07-31 14:53 27M 
[ ]acl2_6.2-6_i386.deb2013-07-31 14:38 23M 
[ ]acl2_6.2.orig-books.tar.gz2013-07-13 11:28 11M 
[ ]acl2_6.2.orig.tar.gz2013-07-13 11:28 6.6M 
[ ]acl2_6.3-5.debian.tar.gz2013-10-21 13:09 158K 
[ ]acl2_6.3-5.dsc2013-10-21 13:09 1.7K 
[ ]acl2_6.3-5_amd64.deb2013-10-24 16:36 27M 
[ ]acl2_6.3-5_i386.deb2013-10-24 16:36 23M 
[ ]acl2_6.3-6.debian.tar.gz2013-11-17 17:18 158K 
[ ]acl2_6.3-6.dsc2013-11-17 17:18 1.7K 
[ ]acl2_6.3.orig-books.tar.gz2013-10-21 13:09 13M 
[ ]acl2_6.3.orig.tar.gz2013-10-21 13:09 6.7M 
[ ]acl2_6.4-4.debian.tar.xz2014-05-18 11:13 124K 
[ ]acl2_6.4-4.dsc2014-05-18 11:13 1.8K 
[ ]acl2_6.4-4_amd64.deb2014-05-18 12:50 15M 
[ ]acl2_6.4-4_i386.deb2014-05-18 12:50 12M 
[ ]acl2_6.4.orig-books.tar.gz2014-05-02 23:18 14M 
[ ]acl2_6.4.orig.tar.gz2014-05-02 23:18 5.8M 
[ ]acl2_6.5-5.debian.tar.xz2014-10-27 17:23 125K 
[ ]acl2_6.5-5.dsc2014-10-27 17:23 1.8K 
[ ]acl2_6.5-5_amd64.deb2014-10-27 19:53 15M 
[ ]acl2_6.5-5_i386.deb2014-10-27 19:54 13M 
[ ]acl2_6.5.orig-books.tar.gz2014-10-24 07:53 14M 
[ ]acl2_6.5.orig.tar.gz2014-10-24 07:53 5.9M 
[ ]acl2_7.0-1.debian.tar.xz2015-01-27 11:39 126K 
[ ]acl2_7.0-1.dsc2015-01-27 11:39 2.2K 
[ ]acl2_7.0-1_amd64.deb2015-01-27 14:50 15M 
[ ]acl2_7.0-1_i386.deb2015-01-27 17:06 13M 
[ ]acl2_7.0.orig.tar.gz2015-01-27 11:39 56M 
[ ]acl2_7.1-1.debian.tar.xz2015-06-01 23:24 126K 
[ ]acl2_7.1-1.dsc2015-06-01 23:24 2.2K 
[ ]acl2_7.1-1_amd64.deb2015-06-27 13:48 16M 
[ ]acl2_7.1-1_i386.deb2015-06-02 02:43 16M 
[ ]acl2_7.1.orig.tar.gz2015-06-01 23:24 60M 
[ ]acl2_7.1dfsg-1.debian.tar.xz2015-10-23 21:41 199K 
[ ]acl2_7.1dfsg-1.dsc2015-10-23 21:41 2.2K 
[ ]acl2_7.1dfsg-2.debian.tar.xz2015-10-29 05:39 199K 
[ ]acl2_7.1dfsg-2.dsc2015-10-29 05:39 2.2K 
[ ]acl2_7.1dfsg-2_i386.deb2015-10-30 05:39 14M 
[ ]acl2_7.1dfsg.orig.tar.gz2015-10-23 21:41 37M 
[ ]acl2_7.2dfsg-1.debian.tar.xz2016-04-26 22:12 199K 
[ ]acl2_7.2dfsg-1.dsc2016-04-26 22:12 2.2K 
[ ]acl2_7.2dfsg-1_i386.deb2016-04-27 12:32 15M 
[ ]acl2_7.2dfsg-2.debian.tar.xz2016-05-04 23:29 199K 
[ ]acl2_7.2dfsg-2.dsc2016-05-04 23:29 2.2K 
[ ]acl2_7.2dfsg-2_amd64.deb2016-05-05 06:24 17M 
[ ]acl2_7.2dfsg-2_i386.deb2016-05-05 07:09 15M 
[ ]acl2_7.2dfsg-2build1.debian.tar.xz2016-09-17 13:21 199K 
[ ]acl2_7.2dfsg-2build1.dsc2016-09-17 13:21 2.2K 
[ ]acl2_7.2dfsg-2build1_amd64.deb2016-09-17 18:37 17M 
[ ]acl2_7.2dfsg-2build1_i386.deb2016-09-17 18:39 16M 
[ ]acl2_7.2dfsg-2build2.debian.tar.xz2016-09-26 21:24 199K 
[ ]acl2_7.2dfsg-2build2.dsc2016-09-26 21:24 2.2K 
[ ]acl2_7.2dfsg-2build2_amd64.deb2016-09-27 04:19 17M 
[ ]acl2_7.2dfsg-2build2_i386.deb2016-09-27 03:44 15M 
[ ]acl2_7.2dfsg-3.debian.tar.xz2016-11-02 04:04 199K 
[ ]acl2_7.2dfsg-3.dsc2016-11-02 04:04 2.2K 
[ ]acl2_7.2dfsg-3_amd64.deb2016-11-03 21:25 17M 
[ ]acl2_7.2dfsg-3_i386.deb2016-11-03 21:25 15M 
[ ]acl2_7.2dfsg.orig.tar.gz2016-04-26 22:12 61M 
[ ]acl2_7.4dfsg-1.debian.tar.xz2017-05-10 05:08 200K 
[ ]acl2_7.4dfsg-1.dsc2017-05-10 05:08 2.2K 
[ ]acl2_7.4dfsg-1_amd64.deb2017-05-10 11:43 17M 
[ ]acl2_7.4dfsg-1_i386.deb2017-05-10 13:48 16M 
[ ]acl2_7.4dfsg-2.debian.tar.xz2017-05-31 11:08 200K 
[ ]acl2_7.4dfsg-2.dsc2017-05-31 11:08 2.2K 
[ ]acl2_7.4dfsg-2_amd64.deb2017-05-31 18:58 17M 
[ ]acl2_7.4dfsg-2_i386.deb2017-05-31 18:59 16M 
[ ]acl2_7.4dfsg-2build1.debian.tar.xz2017-06-02 22:38 200K 
[ ]acl2_7.4dfsg-2build1.dsc2017-06-02 22:38 2.2K 
[ ]acl2_7.4dfsg-2build1_amd64.deb2017-06-03 05:28 17M 
[ ]acl2_7.4dfsg-2build1_i386.deb2017-06-03 05:08 16M 
[ ]acl2_7.4dfsg-3.1.debian.tar.xz2017-08-09 23:14 200K 
[ ]acl2_7.4dfsg-3.1.dsc2017-08-09 23:14 2.3K 
[ ]acl2_7.4dfsg-3.1_amd64.deb2017-08-10 07:37 17M 
[ ]acl2_7.4dfsg-3.1_i386.deb2017-08-10 07:38 16M 
[ ]acl2_7.4dfsg-3.debian.tar.xz2017-06-09 23:08 200K 
[ ]acl2_7.4dfsg-3.dsc2017-06-09 23:08 2.2K 
[ ]acl2_7.4dfsg-3_amd64.deb2017-06-10 03:08 17M 
[ ]acl2_7.4dfsg-3_i386.deb2017-06-10 05:53 16M 
[ ]acl2_7.4dfsg-4.debian.tar.xz2017-11-01 13:05 200K 
[ ]acl2_7.4dfsg-4.dsc2017-11-01 13:05 2.2K 
[ ]acl2_7.4dfsg-4_amd64.deb2017-11-03 11:11 18M 
[ ]acl2_7.4dfsg-4_i386.deb2017-11-03 17:55 16M 
[ ]acl2_7.4dfsg.orig.tar.gz2017-05-10 05:08 62M 
[ ]acl2_8.0dfsg-1.debian.tar.xz2018-01-13 23:08 200K 
[ ]acl2_8.0dfsg-1.dsc2018-01-13 23:08 2.2K 
[ ]acl2_8.0dfsg-1_amd64.deb2018-01-14 03:08 19M 
[ ]acl2_8.0dfsg-1_i386.deb2018-01-14 04:49 16M 
[ ]acl2_8.0dfsg-1build1.debian.tar.xz2019-01-15 11:08 200K 
[ ]acl2_8.0dfsg-1build1.dsc2019-01-15 11:08 2.2K 
[ ]acl2_8.0dfsg-1build1_amd64.deb2019-01-15 18:13 19M 
[ ]acl2_8.0dfsg-1build1_i386.deb2019-01-15 16:47 17M 
[ ]acl2_8.0dfsg.orig.tar.gz2018-01-13 23:08 74M 
[ ]acl2_8.1dfsg-3.debian.tar.xz2019-04-21 11:46 200K 
[ ]acl2_8.1dfsg-3.dsc2019-04-21 11:46 2.2K 
[ ]acl2_8.1dfsg-3_amd64.deb2019-04-21 19:43 19M 
[ ]acl2_8.1dfsg-3_i386.deb2019-04-21 23:31 18M 
[ ]acl2_8.1dfsg-4.debian.tar.xz2019-10-31 23:13 201K 
[ ]acl2_8.1dfsg-4.dsc2019-10-31 23:13 2.2K 
[ ]acl2_8.1dfsg-4_amd64.deb2019-11-01 04:38 20M 
[ ]acl2_8.1dfsg-4_i386.deb2019-11-01 05:28 18M 
[ ]acl2_8.1dfsg-5.debian.tar.xz2019-12-08 23:13 201K 
[ ]acl2_8.1dfsg-5.dsc2019-12-08 23:13 2.2K 
[ ]acl2_8.1dfsg-5_amd64.deb2019-12-09 04:43 19M 
[ ]acl2_8.1dfsg-6.debian.tar.xz2019-12-09 23:13 201K 
[ ]acl2_8.1dfsg-6.dsc2019-12-09 23:13 2.2K 
[ ]acl2_8.1dfsg-6_amd64.deb2019-12-10 08:23 19M 
[ ]acl2_8.1dfsg.orig.tar.gz2019-04-21 11:46 75M 
[ ]acl2_8.2dfsg-1.debian.tar.xz2019-12-19 23:13 201K 
[ ]acl2_8.2dfsg-1.dsc2019-12-19 23:13 2.2K 
[ ]acl2_8.2dfsg-1_amd64.deb2019-12-20 04:43 21M 
[ ]acl2_8.2dfsg-2.debian.tar.xz2019-12-27 05:33 201K 
[ ]acl2_8.2dfsg-2.dsc2019-12-27 05:33 2.2K 
[ ]acl2_8.2dfsg-2_amd64.deb2019-12-27 11:08 21M 
[ ]acl2_8.2dfsg-3.debian.tar.xz2019-12-31 11:13 201K 
[ ]acl2_8.2dfsg-3.dsc2019-12-31 11:13 2.2K 
[ ]acl2_8.2dfsg-3_amd64.deb2019-12-31 18:53 21M 
[ ]acl2_8.2dfsg-3build1.debian.tar.xz2020-03-23 07:00 201K 
[ ]acl2_8.2dfsg-3build1.dsc2020-03-23 07:00 2.2K 
[ ]acl2_8.2dfsg-3build1_amd64.deb2020-03-23 13:24 21M 
[ ]acl2_8.2dfsg.orig.tar.gz2019-12-19 23:13 77M 
[ ]acl2_8.3dfsg-1.debian.tar.xz2020-08-24 11:13 201K 
[ ]acl2_8.3dfsg-1.dsc2020-08-24 11:13 2.2K 
[ ]acl2_8.3dfsg-1_amd64.deb2020-08-24 12:18 20M 
[ ]acl2_8.3dfsg-2.debian.tar.xz2021-01-27 23:19 223K 
[ ]acl2_8.3dfsg-2.dsc2021-01-27 23:19 2.2K 
[ ]acl2_8.3dfsg-2_amd64.deb2021-01-28 07:19 21M 
[ ]acl2_8.3dfsg-4.debian.tar.xz2021-10-18 20:14 256K 
[ ]acl2_8.3dfsg-4.dsc2021-10-18 20:14 2.2K 
[ ]acl2_8.3dfsg.orig.tar.gz2020-08-24 11:13 112M 
[ ]acl2_8.4dfsg-1.debian.tar.xz2021-10-28 23:18 304K 
[ ]acl2_8.4dfsg-1.dsc2021-10-28 23:18 2.2K 
[ ]acl2_8.4dfsg-2.debian.tar.xz2021-11-01 23:24 304K 
[ ]acl2_8.4dfsg-2.dsc2021-11-01 23:24 2.2K 
[ ]acl2_8.4dfsg-2_amd64.deb2021-12-19 01:10 25M 
[ ]acl2_8.4dfsg.orig.tar.gz2021-10-28 23:18 194M 
[ ]acl2_8.5dfsg-1.debian.tar.xz2022-07-27 23:33 305K 
[ ]acl2_8.5dfsg-1.dsc2022-07-27 23:33 2.2K 
[ ]acl2_8.5dfsg-1_amd64.deb2022-07-28 09:29 26M 
[ ]acl2_8.5dfsg-2.debian.tar.xz2022-12-22 17:29 306K 
[ ]acl2_8.5dfsg-2.dsc2022-12-22 17:29 2.2K 
[ ]acl2_8.5dfsg-2_amd64.deb2022-12-23 02:29 25M 
[ ]acl2_8.5dfsg-3.debian.tar.xz2022-12-30 23:34 306K 
[ ]acl2_8.5dfsg-3.dsc2022-12-30 23:34 2.2K 
[ ]acl2_8.5dfsg-3_amd64.deb2022-12-31 07:53 26M 
[ ]acl2_8.5dfsg-4.debian.tar.xz2023-01-14 05:34 306K 
[ ]acl2_8.5dfsg-4.dsc2023-01-14 05:34 2.2K 
[ ]acl2_8.5dfsg-4_amd64.deb2023-01-14 16:49 26M 
[ ]acl2_8.5dfsg-5.debian.tar.xz2023-01-16 17:44 306K 
[ ]acl2_8.5dfsg-5.dsc2023-01-16 17:44 2.2K 
[ ]acl2_8.5dfsg-5_amd64.deb2023-01-17 02:29 26M 
[ ]acl2_8.5dfsg-5build3.debian.tar.xz2024-04-01 05:43 306K 
[ ]acl2_8.5dfsg-5build3.dsc2024-04-01 05:43 2.3K 
[ ]acl2_8.5dfsg-5build3_amd64.deb2024-04-02 08:03 26M 
[ ]acl2_8.5dfsg-6.debian.tar.xz2024-07-28 23:59 306K 
[ ]acl2_8.5dfsg-6.dsc2024-07-28 23:59 2.2K 
[ ]acl2_8.5dfsg-6_amd64.deb2024-07-29 04:20 25M 
[ ]acl2_8.5dfsg.orig.tar.gz2022-07-27 23:33 213M 
[ ]acl2_8.6+dfsg-2.debian.tar.xz2025-05-01 16:25 435K 
[ ]acl2_8.6+dfsg-2.dsc2025-05-01 16:25 2.2K 
[ ]acl2_8.6+dfsg-2_amd64.deb2025-05-03 01:14 46M 
[ ]acl2_8.6+dfsg-3.debian.tar.xz2025-05-15 00:36 695K 
[ ]acl2_8.6+dfsg-3.dsc2025-05-15 00:35 2.2K 
[ ]acl2_8.6+dfsg-3_amd64.deb2025-05-15 07:30 45M 
[ ]acl2_8.6+dfsg.orig.tar.gz2025-05-01 16:25 229M 
[ ]elpa-acl2_8.4dfsg-2_all.deb2021-12-19 01:09 69K 
[ ]elpa-acl2_8.5dfsg-1_all.deb2022-07-28 09:29 70K 
[ ]elpa-acl2_8.5dfsg-2_all.deb2022-12-23 02:29 70K 
[ ]elpa-acl2_8.5dfsg-3_all.deb2022-12-31 07:53 70K 
[ ]elpa-acl2_8.5dfsg-4_all.deb2023-01-14 16:49 70K 
[ ]elpa-acl2_8.5dfsg-5_all.deb2023-01-17 02:29 70K 
[ ]elpa-acl2_8.5dfsg-5build3_all.deb2024-04-02 08:02 71K 
[ ]elpa-acl2_8.5dfsg-6_all.deb2024-07-29 04:20 71K 
[ ]elpa-acl2_8.6+dfsg-2_all.deb2025-05-03 01:14 78K 
[ ]elpa-acl2_8.6+dfsg-3_all.deb2025-05-15 07:30 79K 
Apache/2.4.12 (Ubuntu) Server at 212.25.29.199 Port 8080