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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]acl2-books-certs_3.6..>2010-02-16 16:05 1.9M 
[ ]acl2-books-certs_4.2..>2011-09-02 11:03 1.9M 
[ ]acl2-books-certs_4.3..>2012-05-18 22:33 4.2M 
[ ]acl2-books-certs_6.0..>2013-01-14 15:33 4.9M 
[ ]acl2-books-certs_6.2..>2013-07-31 22:38 9.7M 
[ ]acl2-books-certs_6.3..>2013-10-25 00:36 11M 
[ ]acl2-books-certs_6.4..>2014-05-09 00:11 4.1M 
[ ]acl2-books-certs_6.4..>2014-05-13 16:08 4.0M 
[ ]acl2-books-certs_6.4..>2014-05-18 20:50 4.0M 
[ ]acl2-books-certs_6.5..>2014-10-25 08:00 6.2M 
[ ]acl2-books-certs_6.5..>2014-10-26 13:05 6.2M 
[ ]acl2-books-certs_6.5..>2014-10-27 04:08 6.2M 
[ ]acl2-books-certs_6.5..>2014-10-28 03:53 6.1M 
[ ]acl2-books-certs_7.0..>2015-01-27 22:50 66M 
[ ]acl2-books-certs_7.1..>2015-06-27 21:48 13M 
[ ]acl2-books-certs_7.2..>2016-05-05 14:24 52M 
[ ]acl2-books-certs_7.2..>2016-09-18 02:37 52M 
[ ]acl2-books-certs_7.2..>2016-09-27 12:19 52M 
[ ]acl2-books-certs_7.2..>2016-11-04 05:25 52M 
[ ]acl2-books-certs_7.4..>2017-05-10 19:43 61M 
[ ]acl2-books-certs_7.4..>2017-06-01 02:58 61M 
[ ]acl2-books-certs_7.4..>2017-06-03 13:28 61M 
[ ]acl2-books-certs_7.4..>2017-08-10 15:37 61M 
[ ]acl2-books-certs_7.4..>2017-06-10 11:08 61M 
[ ]acl2-books-certs_7.4..>2017-11-03 19:11 61M 
[ ]acl2-books-certs_8.0..>2018-01-14 11:08 70M 
[ ]acl2-books-certs_8.0..>2019-01-16 02:13 70M 
[ ]acl2-books-certs_8.1..>2019-04-22 03:43 77M 
[ ]acl2-books-certs_8.1..>2019-11-01 12:38 77M 
[ ]acl2-books-certs_8.1..>2019-12-09 12:43 77M 
[ ]acl2-books-certs_8.1..>2019-12-10 16:23 77M 
[ ]acl2-books-certs_8.2..>2019-12-20 12:43 66M 
[ ]acl2-books-certs_8.2..>2019-12-27 19:08 66M 
[ ]acl2-books-certs_8.2..>2020-01-01 02:53 66M 
[ ]acl2-books-certs_8.2..>2020-03-23 21:24 66M 
[ ]acl2-books-certs_8.3..>2020-08-24 20:19 5.7K 
[ ]acl2-books-certs_8.3..>2021-01-28 15:19 139M 
[ ]acl2-books-certs_8.4..>2021-12-19 09:10 221M 
[ ]acl2-books-certs_8.5..>2022-07-28 17:29 220M 
[ ]acl2-books-certs_8.5..>2022-12-23 10:29 221M 
[ ]acl2-books-certs_8.5..>2022-12-31 15:53 216M 
[ ]acl2-books-certs_8.5..>2023-01-15 00:49 216M 
[ ]acl2-books-certs_8.5..>2023-01-17 10:29 216M 
[ ]acl2-books-certs_8.5..>2024-03-01 03:34 216M 
[ ]acl2-books-certs_8.5..>2024-03-19 17:53 216M 
[ ]acl2-books-certs_8.5..>2024-04-02 16:03 216M 
[ ]acl2-books-source_3...>2010-02-16 16:05 4.7M 
[ ]acl2-books-source_4...>2011-09-02 11:03 4.9M 
[ ]acl2-books-source_4...>2012-05-18 22:33 6.2M 
[ ]acl2-books-source_6...>2013-01-14 15:33 7.5M 
[ ]acl2-books-source_6...>2013-07-31 22:38 7.3M 
[ ]acl2-books-source_6...>2013-10-25 00:36 9.1M 
[ ]acl2-books-source_6...>2014-05-09 00:11 6.2M 
[ ]acl2-books-source_6...>2014-05-13 16:08 6.2M 
[ ]acl2-books-source_6...>2014-05-18 20:50 6.2M 
[ ]acl2-books-source_6...>2014-10-25 08:00 6.7M 
[ ]acl2-books-source_6...>2014-10-26 13:05 6.6M 
[ ]acl2-books-source_6...>2014-10-27 04:08 6.6M 
[ ]acl2-books-source_6...>2014-10-28 03:53 6.6M 
[ ]acl2-books-source_7...>2015-01-27 22:50 8.4M 
[ ]acl2-books-source_7...>2015-06-27 21:48 9.9M 
[ ]acl2-books-source_7...>2016-05-05 14:24 11M 
[ ]acl2-books-source_7...>2016-09-18 02:37 10M 
[ ]acl2-books-source_7...>2016-09-27 12:19 10M 
[ ]acl2-books-source_7...>2016-11-04 05:25 10M 
[ ]acl2-books-source_7...>2017-05-10 19:43 11M 
[ ]acl2-books-source_7...>2017-06-01 02:58 11M 
[ ]acl2-books-source_7...>2017-06-03 13:28 11M 
[ ]acl2-books-source_7...>2017-08-10 15:37 11M 
[ ]acl2-books-source_7...>2017-06-10 11:08 11M 
[ ]acl2-books-source_7...>2017-11-03 19:11 11M 
[ ]acl2-books-source_8...>2018-01-14 11:08 12M 
[ ]acl2-books-source_8...>2019-01-16 02:13 12M 
[ ]acl2-books-source_8...>2019-04-22 03:43 13M 
[ ]acl2-books-source_8...>2019-11-01 12:38 13M 
[ ]acl2-books-source_8...>2019-12-09 12:43 13M 
[ ]acl2-books-source_8...>2019-12-10 16:23 13M 
[ ]acl2-books-source_8...>2019-12-20 12:43 14M 
[ ]acl2-books-source_8...>2019-12-27 19:08 14M 
[ ]acl2-books-source_8...>2020-01-01 02:53 14M 
[ ]acl2-books-source_8...>2020-03-23 21:24 14M 
[ ]acl2-books-source_8...>2020-08-24 20:19 19M 
[ ]acl2-books-source_8...>2021-01-28 15:19 19M 
[ ]acl2-books-source_8...>2021-12-19 09:10 21M 
[ ]acl2-books-source_8...>2022-07-28 17:29 23M 
[ ]acl2-books-source_8...>2022-12-23 10:29 23M 
[ ]acl2-books-source_8...>2022-12-31 15:53 23M 
[ ]acl2-books-source_8...>2023-01-15 00:49 23M 
[ ]acl2-books-source_8...>2023-01-17 10:29 23M 
[ ]acl2-books-source_8...>2024-03-01 03:34 23M 
[ ]acl2-books-source_8...>2024-03-19 17:53 23M 
[ ]acl2-books-source_8...>2024-04-02 16:02 23M 
[ ]acl2-books_3.6-4_amd..>2010-02-16 16:05 33M 
[ ]acl2-books_3.6-4_i38..>2010-02-16 16:05 29M 
[ ]acl2-books_4.2-1_amd..>2011-09-02 12:04 39M 
[ ]acl2-books_4.2-1_i38..>2011-09-02 11:04 34M 
[ ]acl2-books_4.3-3_amd..>2012-05-19 00:34 15M 
[ ]acl2-books_4.3-3_i38..>2012-05-18 22:33 13M 
[ ]acl2-books_6.0-2_amd..>2013-01-14 16:03 18M 
[ ]acl2-books_6.0-2_i38..>2013-01-14 15:33 16M 
[ ]acl2-books_6.2-6_amd..>2013-07-31 22:53 34M 
[ ]acl2-books_6.2-6_i38..>2013-07-31 22:38 30M 
[ ]acl2-books_6.3-5_amd..>2013-10-25 00:36 40M 
[ ]acl2-books_6.3-5_i38..>2013-10-25 00:36 36M 
[ ]acl2-books_6.4-2_amd..>2014-05-09 00:11 19M 
[ ]acl2-books_6.4-2_i38..>2014-05-09 00:12 17M 
[ ]acl2-books_6.4-3_amd..>2014-05-13 16:09 19M 
[ ]acl2-books_6.4-3_i38..>2014-05-13 16:09 17M 
[ ]acl2-books_6.4-4_amd..>2014-05-18 20:50 19M 
[ ]acl2-books_6.4-4_i38..>2014-05-18 20:50 17M 
[ ]acl2-books_6.5-2_amd..>2014-10-25 08:00 22M 
[ ]acl2-books_6.5-2_i38..>2014-10-25 07:22 21M 
[ ]acl2-books_6.5-3_amd..>2014-10-26 13:05 22M 
[ ]acl2-books_6.5-3_i38..>2014-10-26 13:06 21M 
[ ]acl2-books_6.5-4_amd..>2014-10-27 04:08 22M 
[ ]acl2-books_6.5-4_i38..>2014-10-27 03:29 21M 
[ ]acl2-books_6.5-5_amd..>2014-10-28 03:53 22M 
[ ]acl2-books_6.5-5_i38..>2014-10-28 03:54 21M 
[ ]acl2-books_7.0-1_amd..>2015-01-27 22:50 24M 
[ ]acl2-books_7.0-1_i38..>2015-01-28 01:06 23M 
[ ]acl2-books_7.1-1_amd..>2015-06-27 21:48 19M 
[ ]acl2-books_7.1-1_i38..>2015-06-02 10:43 18M 
[ ]acl2-books_7.1dfsg-2..>2015-10-30 13:39 55M 
[ ]acl2-books_7.2dfsg-1..>2016-04-27 20:32 89M 
[ ]acl2-books_7.2dfsg-2..>2016-05-05 14:24 102M 
[ ]acl2-books_7.2dfsg-2..>2016-05-05 15:09 88M 
[ ]acl2-books_7.2dfsg-2..>2016-09-18 02:37 103M 
[ ]acl2-books_7.2dfsg-2..>2016-09-18 02:39 86M 
[ ]acl2-books_7.2dfsg-2..>2016-09-27 12:19 103M 
[ ]acl2-books_7.2dfsg-2..>2016-09-27 11:44 87M 
[ ]acl2-books_7.2dfsg-3..>2016-11-04 05:25 103M 
[ ]acl2-books_7.2dfsg-3..>2016-11-04 05:25 89M 
[ ]acl2-books_7.4dfsg-1..>2017-05-10 19:43 115M 
[ ]acl2-books_7.4dfsg-1..>2017-05-10 21:48 98M 
[ ]acl2-books_7.4dfsg-2..>2017-06-01 02:58 120M 
[ ]acl2-books_7.4dfsg-2..>2017-06-01 02:59 103M 
[ ]acl2-books_7.4dfsg-2..>2017-06-03 13:28 120M 
[ ]acl2-books_7.4dfsg-2..>2017-06-03 13:08 102M 
[ ]acl2-books_7.4dfsg-3..>2017-08-10 15:37 119M 
[ ]acl2-books_7.4dfsg-3..>2017-08-10 15:38 102M 
[ ]acl2-books_7.4dfsg-3..>2017-06-10 11:08 120M 
[ ]acl2-books_7.4dfsg-3..>2017-06-10 13:53 104M 
[ ]acl2-books_7.4dfsg-4..>2017-11-03 19:11 119M 
[ ]acl2-books_7.4dfsg-4..>2017-11-04 01:55 102M 
[ ]acl2-books_8.0dfsg-1..>2018-01-14 11:08 132M 
[ ]acl2-books_8.0dfsg-1..>2018-01-14 12:49 114M 
[ ]acl2-books_8.0dfsg-1..>2019-01-16 02:13 145M 
[ ]acl2-books_8.0dfsg-1..>2019-01-16 00:47 127M 
[ ]acl2-books_8.1dfsg-3..>2019-04-22 03:43 156M 
[ ]acl2-books_8.1dfsg-3..>2019-04-22 07:31 139M 
[ ]acl2-books_8.1dfsg-4..>2019-11-01 12:38 156M 
[ ]acl2-books_8.1dfsg-4..>2019-11-01 13:28 140M 
[ ]acl2-books_8.1dfsg-5..>2019-12-09 12:43 156M 
[ ]acl2-books_8.1dfsg-6..>2019-12-10 16:23 156M 
[ ]acl2-books_8.2dfsg-1..>2019-12-20 12:43 163M 
[ ]acl2-books_8.2dfsg-2..>2019-12-27 19:08 163M 
[ ]acl2-books_8.2dfsg-3..>2020-01-01 02:53 163M 
[ ]acl2-books_8.2dfsg-3..>2020-03-23 21:24 163M 
[ ]acl2-books_8.3dfsg-1..>2020-08-24 20:19 4.2K 
[ ]acl2-books_8.3dfsg-2..>2021-01-28 15:19 241M 
[ ]acl2-books_8.4dfsg-2..>2021-12-19 09:09 338M 
[ ]acl2-books_8.5dfsg-1..>2022-07-28 17:29 335M 
[ ]acl2-books_8.5dfsg-2..>2022-12-23 10:29 340M 
[ ]acl2-books_8.5dfsg-3..>2022-12-31 15:53 330M 
[ ]acl2-books_8.5dfsg-4..>2023-01-15 00:49 329M 
[ ]acl2-books_8.5dfsg-5..>2023-01-17 10:29 329M 
[ ]acl2-books_8.5dfsg-5..>2024-03-01 03:34 330M 
[ ]acl2-books_8.5dfsg-5..>2024-03-19 17:53 331M 
[ ]acl2-books_8.5dfsg-5..>2024-04-02 16:03 331M 
[ ]acl2-doc_3.6-4_all.deb 2010-02-16 16:05 2.3M 
[ ]acl2-doc_4.2-1_all.deb 2011-09-02 11:03 264K 
[ ]acl2-doc_4.3-3_all.deb 2012-05-18 22:33 348K 
[ ]acl2-doc_6.0-2_all.deb 2013-01-14 15:33 7.2M 
[ ]acl2-doc_6.2-6_all.deb 2013-07-31 22:38 7.5M 
[ ]acl2-doc_6.3-5_all.deb 2013-10-25 00:36 12M 
[ ]acl2-doc_6.4-2_all.deb 2014-05-09 00:11 1.6M 
[ ]acl2-doc_6.4-3_all.deb 2014-05-13 16:08 1.6M 
[ ]acl2-doc_6.4-4_all.deb 2014-05-18 20:50 1.6M 
[ ]acl2-doc_6.5-2_all.deb 2014-10-25 08:00 1.6M 
[ ]acl2-doc_6.5-3_all.deb 2014-10-26 13:05 1.6M 
[ ]acl2-doc_6.5-4_all.deb 2014-10-27 04:08 1.6M 
[ ]acl2-doc_6.5-5_all.deb 2014-10-28 03:53 1.6M 
[ ]acl2-doc_7.0-1_all.deb 2015-01-27 22:50 331K 
[ ]acl2-doc_7.1-1_all.deb 2015-06-27 21:48 353K 
[ ]acl2-doc_7.2dfsg-2_a..>2016-05-05 14:24 366K 
[ ]acl2-doc_7.2dfsg-2bu..>2016-09-18 02:37 366K 
[ ]acl2-doc_7.2dfsg-2bu..>2016-09-27 12:19 366K 
[ ]acl2-doc_7.2dfsg-3_a..>2016-11-04 05:25 366K 
[ ]acl2-doc_7.4dfsg-1_a..>2017-05-10 19:43 372K 
[ ]acl2-doc_7.4dfsg-2_a..>2017-06-01 02:58 372K 
[ ]acl2-doc_7.4dfsg-2bu..>2017-06-03 13:28 372K 
[ ]acl2-doc_7.4dfsg-3.1..>2017-08-10 15:37 372K 
[ ]acl2-doc_7.4dfsg-3_a..>2017-06-10 11:08 372K 
[ ]acl2-doc_7.4dfsg-4_a..>2017-11-03 19:11 371K 
[ ]acl2-doc_8.0dfsg-1_a..>2018-01-14 11:08 385K 
[ ]acl2-doc_8.0dfsg-1bu..>2019-01-16 02:13 385K 
[ ]acl2-doc_8.1dfsg-3_a..>2019-04-22 03:43 396K 
[ ]acl2-doc_8.1dfsg-4_a..>2019-11-01 12:38 396K 
[ ]acl2-doc_8.1dfsg-5_a..>2019-12-09 12:43 396K 
[ ]acl2-doc_8.1dfsg-6_a..>2019-12-10 16:23 396K 
[ ]acl2-doc_8.2dfsg-1_a..>2019-12-20 12:43 415K 
[ ]acl2-doc_8.2dfsg-2_a..>2019-12-27 19:08 415K 
[ ]acl2-doc_8.2dfsg-3_a..>2020-01-01 02:53 415K 
[ ]acl2-doc_8.2dfsg-3bu..>2020-03-23 21:24 418K 
[ ]acl2-doc_8.3dfsg-1_a..>2020-08-24 20:18 429K 
[ ]acl2-doc_8.3dfsg-2_a..>2021-01-28 15:19 429K 
[ ]acl2-doc_8.4dfsg-2_a..>2021-12-19 09:09 441K 
[ ]acl2-doc_8.5dfsg-1_a..>2022-07-28 17:29 473K 
[ ]acl2-doc_8.5dfsg-2_a..>2022-12-23 10:29 473K 
[ ]acl2-doc_8.5dfsg-3_a..>2022-12-31 15:53 473K 
[ ]acl2-doc_8.5dfsg-4_a..>2023-01-15 00:49 473K 
[ ]acl2-doc_8.5dfsg-5_a..>2023-01-17 10:29 473K 
[ ]acl2-doc_8.5dfsg-5bu..>2024-03-01 03:34 474K 
[ ]acl2-doc_8.5dfsg-5bu..>2024-03-19 17:53 474K 
[ ]acl2-doc_8.5dfsg-5bu..>2024-04-02 16:02 474K 
[ ]acl2-emacs_3.6-4_all..>2010-02-16 16:05 56K 
[ ]acl2-emacs_4.2-1_all..>2011-09-02 11:03 52K 
[ ]acl2-emacs_4.3-3_all..>2012-05-18 22:33 53K 
[ ]acl2-emacs_6.0-2_all..>2013-01-14 15:33 54K 
[ ]acl2-emacs_6.2-6_all..>2013-07-31 22:38 53K 
[ ]acl2-emacs_6.3-5_all..>2013-10-25 00:36 55K 
[ ]acl2-emacs_6.4-2_all..>2014-05-09 00:11 53K 
[ ]acl2-emacs_6.4-3_all..>2014-05-13 16:08 53K 
[ ]acl2-emacs_6.4-4_all..>2014-05-18 20:50 53K 
[ ]acl2-emacs_6.5-2_all..>2014-10-25 08:00 53K 
[ ]acl2-emacs_6.5-3_all..>2014-10-26 13:05 54K 
[ ]acl2-emacs_6.5-4_all..>2014-10-27 04:08 54K 
[ ]acl2-emacs_6.5-5_all..>2014-10-28 03:53 54K 
[ ]acl2-emacs_7.0-1_all..>2015-01-27 22:50 54K 
[ ]acl2-emacs_7.1-1_all..>2015-06-27 21:48 55K 
[ ]acl2-emacs_7.2dfsg-2..>2016-05-05 14:24 56K 
[ ]acl2-emacs_7.2dfsg-2..>2016-09-18 02:37 56K 
[ ]acl2-emacs_7.2dfsg-2..>2016-09-27 12:19 56K 
[ ]acl2-emacs_7.2dfsg-3..>2016-11-04 05:25 56K 
[ ]acl2-emacs_7.4dfsg-1..>2017-05-10 19:43 59K 
[ ]acl2-emacs_7.4dfsg-2..>2017-06-01 02:58 59K 
[ ]acl2-emacs_7.4dfsg-2..>2017-06-03 13:28 59K 
[ ]acl2-emacs_7.4dfsg-3..>2017-08-10 15:37 59K 
[ ]acl2-emacs_7.4dfsg-3..>2017-06-10 11:08 59K 
[ ]acl2-emacs_7.4dfsg-4..>2017-11-03 19:11 59K 
[ ]acl2-emacs_8.0dfsg-1..>2018-01-14 11:08 59K 
[ ]acl2-emacs_8.0dfsg-1..>2019-01-16 02:13 59K 
[ ]acl2-emacs_8.1dfsg-3..>2019-04-22 03:43 59K 
[ ]acl2-emacs_8.1dfsg-4..>2019-11-01 12:38 59K 
[ ]acl2-emacs_8.1dfsg-5..>2019-12-09 12:43 59K 
[ ]acl2-emacs_8.1dfsg-6..>2019-12-10 16:23 59K 
[ ]acl2-emacs_8.2dfsg-1..>2019-12-20 12:43 59K 
[ ]acl2-emacs_8.2dfsg-2..>2019-12-27 19:08 59K 
[ ]acl2-emacs_8.2dfsg-3..>2020-01-01 02:53 59K 
[ ]acl2-emacs_8.2dfsg-3..>2020-03-23 21:24 59K 
[ ]acl2-emacs_8.3dfsg-1..>2020-08-24 20:19 60K 
[ ]acl2-emacs_8.3dfsg-2..>2021-01-28 15:19 60K 
[ ]acl2-infix-source_3...>2010-02-16 16:05 84K 
[ ]acl2-infix-source_4...>2011-09-02 11:03 80K 
[ ]acl2-infix-source_4...>2012-05-18 22:33 86K 
[ ]acl2-infix-source_6...>2013-01-14 15:33 87K 
[ ]acl2-infix-source_6...>2013-07-31 22:38 86K 
[ ]acl2-infix-source_6...>2013-10-25 00:36 86K 
[ ]acl2-infix-source_6...>2014-05-09 00:11 71K 
[ ]acl2-infix-source_6...>2014-05-13 16:08 71K 
[ ]acl2-infix-source_6...>2014-05-18 20:50 70K 
[ ]acl2-infix-source_6...>2014-10-25 08:00 71K 
[ ]acl2-infix-source_6...>2014-10-26 13:05 72K 
[ ]acl2-infix-source_6...>2014-10-27 04:08 72K 
[ ]acl2-infix-source_6...>2014-10-28 03:53 72K 
[ ]acl2-infix-source_7...>2015-01-27 22:50 72K 
[ ]acl2-infix-source_7...>2015-06-27 21:48 70K 
[ ]acl2-infix-source_7...>2016-05-05 14:24 71K 
[ ]acl2-infix-source_7...>2016-09-18 02:37 71K 
[ ]acl2-infix-source_7...>2016-09-27 12:19 71K 
[ ]acl2-infix-source_7...>2016-11-04 05:25 71K 
[ ]acl2-infix-source_7...>2017-05-10 19:43 71K 
[ ]acl2-infix-source_7...>2017-06-01 02:58 71K 
[ ]acl2-infix-source_7...>2017-06-03 13:28 71K 
[ ]acl2-infix-source_7...>2017-08-10 15:37 71K 
[ ]acl2-infix-source_7...>2017-06-10 11:08 71K 
[ ]acl2-infix-source_7...>2017-11-03 19:11 71K 
[ ]acl2-infix-source_8...>2018-01-14 11:08 70K 
[ ]acl2-infix-source_8...>2019-01-16 02:13 70K 
[ ]acl2-infix-source_8...>2019-04-22 03:43 70K 
[ ]acl2-infix-source_8...>2019-11-01 12:38 70K 
[ ]acl2-infix-source_8...>2019-12-09 12:43 70K 
[ ]acl2-infix-source_8...>2019-12-10 16:23 70K 
[ ]acl2-infix-source_8...>2019-12-20 12:43 70K 
[ ]acl2-infix-source_8...>2019-12-27 19:08 70K 
[ ]acl2-infix-source_8...>2020-01-01 02:53 70K 
[ ]acl2-infix-source_8...>2020-03-23 21:24 70K 
[ ]acl2-infix-source_8...>2020-08-24 20:18 70K 
[ ]acl2-infix-source_8...>2021-01-28 15:19 70K 
[ ]acl2-infix-source_8...>2021-12-19 09:10 72K 
[ ]acl2-infix-source_8...>2022-07-28 17:29 72K 
[ ]acl2-infix-source_8...>2022-12-23 10:29 72K 
[ ]acl2-infix-source_8...>2022-12-31 15:53 72K 
[ ]acl2-infix-source_8...>2023-01-15 00:49 72K 
[ ]acl2-infix-source_8...>2023-01-17 10:29 72K 
[ ]acl2-infix-source_8...>2024-03-01 03:34 72K 
[ ]acl2-infix-source_8...>2024-03-19 17:53 72K 
[ ]acl2-infix-source_8...>2024-04-02 16:02 72K 
[ ]acl2-infix_3.6-4_amd..>2010-02-16 16:05 421K 
[ ]acl2-infix_3.6-4_i38..>2010-02-16 16:05 379K 
[ ]acl2-infix_4.2-1_amd..>2011-09-02 12:04 438K 
[ ]acl2-infix_4.2-1_i38..>2011-09-02 11:04 400K 
[ ]acl2-infix_4.3-3_amd..>2012-05-19 00:34 194K 
[ ]acl2-infix_4.3-3_i38..>2012-05-18 22:33 173K 
[ ]acl2-infix_6.0-2_amd..>2013-01-14 16:03 195K 
[ ]acl2-infix_6.0-2_i38..>2013-01-14 15:33 174K 
[ ]acl2-infix_6.2-6_amd..>2013-07-31 22:53 198K 
[ ]acl2-infix_6.2-6_i38..>2013-07-31 22:38 181K 
[ ]acl2-infix_6.3-5_amd..>2013-10-25 00:36 200K 
[ ]acl2-infix_6.3-5_i38..>2013-10-25 00:36 189K 
[ ]acl2-infix_6.4-2_amd..>2014-05-09 00:11 139K 
[ ]acl2-infix_6.4-2_i38..>2014-05-09 00:12 136K 
[ ]acl2-infix_6.4-3_amd..>2014-05-13 16:09 139K 
[ ]acl2-infix_6.4-3_i38..>2014-05-13 16:09 136K 
[ ]acl2-infix_6.4-4_amd..>2014-05-18 20:50 140K 
[ ]acl2-infix_6.4-4_i38..>2014-05-18 20:50 136K 
[ ]acl2-infix_6.5-2_amd..>2014-10-25 08:00 139K 
[ ]acl2-infix_6.5-2_i38..>2014-10-25 07:22 144K 
[ ]acl2-infix_6.5-3_amd..>2014-10-26 13:05 140K 
[ ]acl2-infix_6.5-3_i38..>2014-10-26 13:06 144K 
[ ]acl2-infix_6.5-4_amd..>2014-10-27 04:08 141K 
[ ]acl2-infix_6.5-4_i38..>2014-10-27 03:29 144K 
[ ]acl2-infix_6.5-5_amd..>2014-10-28 03:53 142K 
[ ]acl2-infix_6.5-5_i38..>2014-10-28 03:54 145K 
[ ]acl2-infix_7.0-1_amd..>2015-01-27 22:50 140K 
[ ]acl2-infix_7.0-1_i38..>2015-01-28 01:06 142K 
[ ]acl2-infix_7.1-1_amd..>2015-06-27 21:48 140K 
[ ]acl2-infix_7.1-1_i38..>2015-06-02 10:43 142K 
[ ]acl2-infix_7.1dfsg-2..>2015-10-30 13:39 368K 
[ ]acl2-infix_7.2dfsg-1..>2016-04-27 20:32 369K 
[ ]acl2-infix_7.2dfsg-2..>2016-05-05 14:24 392K 
[ ]acl2-infix_7.2dfsg-2..>2016-05-05 15:09 369K 
[ ]acl2-infix_7.2dfsg-2..>2016-09-18 02:37 401K 
[ ]acl2-infix_7.2dfsg-2..>2016-09-18 02:39 373K 
[ ]acl2-infix_7.2dfsg-2..>2016-09-27 12:19 401K 
[ ]acl2-infix_7.2dfsg-2..>2016-09-27 11:44 374K 
[ ]acl2-infix_7.2dfsg-3..>2016-11-04 05:25 400K 
[ ]acl2-infix_7.2dfsg-3..>2016-11-04 05:25 374K 
[ ]acl2-infix_7.4dfsg-1..>2017-05-10 19:43 403K 
[ ]acl2-infix_7.4dfsg-1..>2017-05-10 21:48 372K 
[ ]acl2-infix_7.4dfsg-2..>2017-06-01 02:58 408K 
[ ]acl2-infix_7.4dfsg-2..>2017-06-01 02:59 380K 
[ ]acl2-infix_7.4dfsg-2..>2017-06-03 13:28 406K 
[ ]acl2-infix_7.4dfsg-2..>2017-06-03 13:08 380K 
[ ]acl2-infix_7.4dfsg-3..>2017-08-10 15:37 413K 
[ ]acl2-infix_7.4dfsg-3..>2017-08-10 15:38 381K 
[ ]acl2-infix_7.4dfsg-3..>2017-06-10 11:08 409K 
[ ]acl2-infix_7.4dfsg-3..>2017-06-10 13:53 380K 
[ ]acl2-infix_7.4dfsg-4..>2017-11-03 19:11 415K 
[ ]acl2-infix_7.4dfsg-4..>2017-11-04 01:55 380K 
[ ]acl2-infix_8.0dfsg-1..>2018-01-14 11:08 414K 
[ ]acl2-infix_8.0dfsg-1..>2018-01-14 12:49 381K 
[ ]acl2-infix_8.0dfsg-1..>2019-01-16 02:13 471K 
[ ]acl2-infix_8.0dfsg-1..>2019-01-16 00:47 434K 
[ ]acl2-infix_8.1dfsg-3..>2019-04-22 03:43 472K 
[ ]acl2-infix_8.1dfsg-3..>2019-04-22 07:31 475K 
[ ]acl2-infix_8.1dfsg-4..>2019-11-01 12:38 473K 
[ ]acl2-infix_8.1dfsg-4..>2019-11-01 13:28 476K 
[ ]acl2-infix_8.1dfsg-5..>2019-12-09 12:43 472K 
[ ]acl2-infix_8.1dfsg-6..>2019-12-10 16:23 475K 
[ ]acl2-infix_8.2dfsg-1..>2019-12-20 12:43 476K 
[ ]acl2-infix_8.2dfsg-2..>2019-12-27 19:08 470K 
[ ]acl2-infix_8.2dfsg-3..>2020-01-01 02:53 476K 
[ ]acl2-infix_8.2dfsg-3..>2020-03-23 21:24 470K 
[ ]acl2-infix_8.3dfsg-1..>2020-08-24 20:19 472K 
[ ]acl2-infix_8.3dfsg-2..>2021-01-28 15:19 471K 
[ ]acl2-infix_8.4dfsg-2..>2021-12-19 09:09 551K 
[ ]acl2-infix_8.5dfsg-1..>2022-07-28 17:29 533K 
[ ]acl2-infix_8.5dfsg-2..>2022-12-23 10:29 539K 
[ ]acl2-infix_8.5dfsg-3..>2022-12-31 15:53 532K 
[ ]acl2-infix_8.5dfsg-4..>2023-01-15 00:49 533K 
[ ]acl2-infix_8.5dfsg-5..>2023-01-17 10:29 533K 
[ ]acl2-infix_8.5dfsg-5..>2024-03-01 03:34 538K 
[ ]acl2-infix_8.5dfsg-5..>2024-03-19 17:53 538K 
[ ]acl2-infix_8.5dfsg-5..>2024-04-02 16:02 538K 
[ ]acl2-source_3.6-4_al..>2010-02-16 16:05 2.6M 
[ ]acl2-source_4.2-1_al..>2011-09-02 11:03 3.0M 
[ ]acl2-source_4.3-3_al..>2012-05-18 22:33 3.1M 
[ ]acl2-source_6.0-2_al..>2013-01-14 15:33 3.5M 
[ ]acl2-source_6.2-6_al..>2013-07-31 22:38 3.6M 
[ ]acl2-source_6.3-5_al..>2013-10-25 00:36 3.6M 
[ ]acl2-source_6.4-2_al..>2014-05-09 00:11 2.6M 
[ ]acl2-source_6.4-3_al..>2014-05-13 16:08 2.6M 
[ ]acl2-source_6.4-4_al..>2014-05-18 20:50 2.6M 
[ ]acl2-source_6.5-2_al..>2014-10-25 08:00 2.6M 
[ ]acl2-source_6.5-3_al..>2014-10-26 13:05 2.6M 
[ ]acl2-source_6.5-4_al..>2014-10-27 04:08 2.6M 
[ ]acl2-source_6.5-5_al..>2014-10-28 03:53 2.6M 
[ ]acl2-source_7.0-1_al..>2015-01-27 22:50 2.7M 
[ ]acl2-source_7.1-1_al..>2015-06-27 21:48 2.7M 
[ ]acl2-source_7.2dfsg-..>2016-05-05 14:24 2.8M 
[ ]acl2-source_7.2dfsg-..>2016-09-18 02:37 2.7M 
[ ]acl2-source_7.2dfsg-..>2016-09-27 12:19 2.7M 
[ ]acl2-source_7.2dfsg-..>2016-11-04 05:25 2.7M 
[ ]acl2-source_7.4dfsg-..>2017-05-10 19:43 2.9M 
[ ]acl2-source_7.4dfsg-..>2017-06-01 02:58 2.9M 
[ ]acl2-source_7.4dfsg-..>2017-06-03 13:28 2.9M 
[ ]acl2-source_7.4dfsg-..>2017-08-10 15:37 2.9M 
[ ]acl2-source_7.4dfsg-..>2017-06-10 11:08 2.9M 
[ ]acl2-source_7.4dfsg-..>2017-11-03 19:11 2.9M 
[ ]acl2-source_8.0dfsg-..>2018-01-14 11:08 2.9M 
[ ]acl2-source_8.0dfsg-..>2019-01-16 02:13 2.9M 
[ ]acl2-source_8.1dfsg-..>2019-04-22 03:43 3.0M 
[ ]acl2-source_8.1dfsg-..>2019-11-01 12:38 3.0M 
[ ]acl2-source_8.1dfsg-..>2019-12-09 12:43 3.0M 
[ ]acl2-source_8.1dfsg-..>2019-12-10 16:23 3.0M 
[ ]acl2-source_8.2dfsg-..>2019-12-20 12:43 3.1M 
[ ]acl2-source_8.2dfsg-..>2019-12-27 19:08 3.1M 
[ ]acl2-source_8.2dfsg-..>2020-01-01 02:53 3.1M 
[ ]acl2-source_8.2dfsg-..>2020-03-23 21:24 3.1M 
[ ]acl2-source_8.3dfsg-..>2020-08-24 20:19 3.2M 
[ ]acl2-source_8.3dfsg-..>2021-01-28 15:19 3.2M 
[ ]acl2-source_8.4dfsg-..>2021-12-19 09:10 3.4M 
[ ]acl2-source_8.5dfsg-..>2022-07-28 17:29 3.5M 
[ ]acl2-source_8.5dfsg-..>2022-12-23 10:29 3.5M 
[ ]acl2-source_8.5dfsg-..>2022-12-31 15:53 3.5M 
[ ]acl2-source_8.5dfsg-..>2023-01-15 00:49 3.5M 
[ ]acl2-source_8.5dfsg-..>2023-01-17 10:29 3.5M 
[ ]acl2-source_8.5dfsg-..>2024-03-01 03:34 3.5M 
[ ]acl2-source_8.5dfsg-..>2024-03-19 17:53 3.5M 
[ ]acl2-source_8.5dfsg-..>2024-04-02 16:02 3.5M 
[ ]acl2_3.6-4.diff.gz 2010-02-02 08:06 15K 
[TXT]acl2_3.6-4.dsc 2010-02-02 08:06 1.1K 
[ ]acl2_3.6-4_amd64.deb 2010-02-16 16:05 22M 
[ ]acl2_3.6-4_i386.deb 2010-02-16 16:05 20M 
[ ]acl2_3.6.orig.tar.gz 2010-02-02 08:06 10M 
[ ]acl2_4.2-1.debian.ta..>2011-05-15 21:04 17K 
[TXT]acl2_4.2-1.dsc 2011-05-15 21:04 1.2K 
[ ]acl2_4.2-1_amd64.deb 2011-09-02 12:04 25M 
[ ]acl2_4.2-1_i386.deb 2011-09-02 11:04 22M 
[ ]acl2_4.2.orig.tar.gz 2011-05-15 21:04 11M 
[ ]acl2_4.3-3.debian.ta..>2012-05-06 12:34 18K 
[TXT]acl2_4.3-3.dsc 2012-05-06 12:34 1.5K 
[ ]acl2_4.3-3_amd64.deb 2012-05-19 00:34 27M 
[ ]acl2_4.3-3_i386.deb 2012-05-18 22:33 23M 
[ ]acl2_4.3.orig.tar.gz 2012-05-01 03:43 15M 
[ ]acl2_6.0-2.debian.ta..>2013-01-14 13:33 155K 
[TXT]acl2_6.0-2.dsc 2013-01-14 13:33 1.7K 
[ ]acl2_6.0-2_amd64.deb 2013-01-14 16:03 30M 
[ ]acl2_6.0-2_i386.deb 2013-01-14 15:33 26M 
[ ]acl2_6.0.orig-books...>2013-01-13 19:33 10M 
[ ]acl2_6.0.orig.tar.gz 2013-01-13 19:33 6.5M 
[ ]acl2_6.2-6.debian.ta..>2013-07-31 17:38 157K 
[TXT]acl2_6.2-6.dsc 2013-07-31 17:38 1.7K 
[ ]acl2_6.2-6_amd64.deb 2013-07-31 22:53 27M 
[ ]acl2_6.2-6_i386.deb 2013-07-31 22:38 23M 
[ ]acl2_6.2.orig-books...>2013-07-13 19:28 11M 
[ ]acl2_6.2.orig.tar.gz 2013-07-13 19:28 6.6M 
[ ]acl2_6.3-5.debian.ta..>2013-10-21 21:09 158K 
[TXT]acl2_6.3-5.dsc 2013-10-21 21:09 1.7K 
[ ]acl2_6.3-5_amd64.deb 2013-10-25 00:36 27M 
[ ]acl2_6.3-5_i386.deb 2013-10-25 00:36 23M 
[ ]acl2_6.3-6.debian.ta..>2013-11-18 01:18 158K 
[TXT]acl2_6.3-6.dsc 2013-11-18 01:18 1.7K 
[ ]acl2_6.3.orig-books...>2013-10-21 21:09 13M 
[ ]acl2_6.3.orig.tar.gz 2013-10-21 21:09 6.7M 
[ ]acl2_6.4-1.debian.ta..>2014-05-03 07:18 123K 
[TXT]acl2_6.4-1.dsc 2014-05-03 07:18 1.8K 
[ ]acl2_6.4-2.debian.ta..>2014-05-08 20:48 124K 
[TXT]acl2_6.4-2.dsc 2014-05-08 20:48 1.8K 
[ ]acl2_6.4-2_amd64.deb 2014-05-09 00:11 15M 
[ ]acl2_6.4-2_i386.deb 2014-05-09 00:12 12M 
[ ]acl2_6.4-3.debian.ta..>2014-05-13 13:13 124K 
[TXT]acl2_6.4-3.dsc 2014-05-13 13:13 1.8K 
[ ]acl2_6.4-3_amd64.deb 2014-05-13 16:09 15M 
[ ]acl2_6.4-3_i386.deb 2014-05-13 16:09 12M 
[ ]acl2_6.4-4.debian.ta..>2014-05-18 19:13 124K 
[TXT]acl2_6.4-4.dsc 2014-05-18 19:13 1.8K 
[ ]acl2_6.4-4_amd64.deb 2014-05-18 20:50 15M 
[ ]acl2_6.4-4_i386.deb 2014-05-18 20:50 12M 
[ ]acl2_6.4.orig-books...>2014-05-03 07:18 14M 
[ ]acl2_6.4.orig.tar.gz 2014-05-03 07:18 5.8M 
[ ]acl2_6.5-2.debian.ta..>2014-10-24 15:53 125K 
[TXT]acl2_6.5-2.dsc 2014-10-24 15:53 1.8K 
[ ]acl2_6.5-2_amd64.deb 2014-10-25 08:00 15M 
[ ]acl2_6.5-2_i386.deb 2014-10-25 07:22 13M 
[ ]acl2_6.5-3.debian.ta..>2014-10-26 01:50 125K 
[TXT]acl2_6.5-3.dsc 2014-10-26 01:50 1.8K 
[ ]acl2_6.5-3_amd64.deb 2014-10-26 13:05 15M 
[ ]acl2_6.5-3_i386.deb 2014-10-26 13:06 13M 
[ ]acl2_6.5-4.debian.ta..>2014-10-27 01:39 125K 
[TXT]acl2_6.5-4.dsc 2014-10-27 01:39 1.8K 
[ ]acl2_6.5-4_amd64.deb 2014-10-27 04:08 15M 
[ ]acl2_6.5-4_i386.deb 2014-10-27 03:29 13M 
[ ]acl2_6.5-5.debian.ta..>2014-10-28 01:23 125K 
[TXT]acl2_6.5-5.dsc 2014-10-28 01:23 1.8K 
[ ]acl2_6.5-5_amd64.deb 2014-10-28 03:53 15M 
[ ]acl2_6.5-5_i386.deb 2014-10-28 03:54 13M 
[ ]acl2_6.5.orig-books...>2014-10-24 15:53 14M 
[ ]acl2_6.5.orig.tar.gz 2014-10-24 15:53 5.9M 
[ ]acl2_7.0-1.debian.ta..>2015-01-27 19:39 126K 
[TXT]acl2_7.0-1.dsc 2015-01-27 19:39 2.2K 
[ ]acl2_7.0-1_amd64.deb 2015-01-27 22:50 15M 
[ ]acl2_7.0-1_i386.deb 2015-01-28 01:06 13M 
[ ]acl2_7.0.orig.tar.gz 2015-01-27 19:39 56M 
[ ]acl2_7.1-1.debian.ta..>2015-06-02 07:24 126K 
[TXT]acl2_7.1-1.dsc 2015-06-02 07:24 2.2K 
[ ]acl2_7.1-1_amd64.deb 2015-06-27 21:48 16M 
[ ]acl2_7.1-1_i386.deb 2015-06-02 10:43 16M 
[ ]acl2_7.1.orig.tar.gz 2015-06-02 07:24 60M 
[ ]acl2_7.1dfsg-1.debia..>2015-10-24 05:41 199K 
[TXT]acl2_7.1dfsg-1.dsc 2015-10-24 05:41 2.2K 
[ ]acl2_7.1dfsg-2.debia..>2015-10-29 13:39 199K 
[TXT]acl2_7.1dfsg-2.dsc 2015-10-29 13:39 2.2K 
[ ]acl2_7.1dfsg-2_i386.deb2015-10-30 13:39 14M 
[ ]acl2_7.1dfsg.orig.ta..>2015-10-24 05:41 37M 
[ ]acl2_7.2dfsg-1.debia..>2016-04-27 06:12 199K 
[TXT]acl2_7.2dfsg-1.dsc 2016-04-27 06:12 2.2K 
[ ]acl2_7.2dfsg-1_i386.deb2016-04-27 20:32 15M 
[ ]acl2_7.2dfsg-2.debia..>2016-05-05 07:29 199K 
[TXT]acl2_7.2dfsg-2.dsc 2016-05-05 07:29 2.2K 
[ ]acl2_7.2dfsg-2_amd64..>2016-05-05 14:24 17M 
[ ]acl2_7.2dfsg-2_i386.deb2016-05-05 15:09 15M 
[ ]acl2_7.2dfsg-2build1..>2016-09-17 21:21 199K 
[TXT]acl2_7.2dfsg-2build1..>2016-09-17 21:21 2.2K 
[ ]acl2_7.2dfsg-2build1..>2016-09-18 02:37 17M 
[ ]acl2_7.2dfsg-2build1..>2016-09-18 02:39 16M 
[ ]acl2_7.2dfsg-2build2..>2016-09-27 05:24 199K 
[TXT]acl2_7.2dfsg-2build2..>2016-09-27 05:24 2.2K 
[ ]acl2_7.2dfsg-2build2..>2016-09-27 12:19 17M 
[ ]acl2_7.2dfsg-2build2..>2016-09-27 11:44 15M 
[ ]acl2_7.2dfsg-3.debia..>2016-11-02 12:04 199K 
[TXT]acl2_7.2dfsg-3.dsc 2016-11-02 12:04 2.2K 
[ ]acl2_7.2dfsg-3_amd64..>2016-11-04 05:25 17M 
[ ]acl2_7.2dfsg-3_i386.deb2016-11-04 05:25 15M 
[ ]acl2_7.2dfsg.orig.ta..>2016-04-27 06:12 61M 
[ ]acl2_7.4dfsg-1.debia..>2017-05-10 13:08 200K 
[TXT]acl2_7.4dfsg-1.dsc 2017-05-10 13:08 2.2K 
[ ]acl2_7.4dfsg-1_amd64..>2017-05-10 19:43 17M 
[ ]acl2_7.4dfsg-1_i386.deb2017-05-10 21:48 16M 
[ ]acl2_7.4dfsg-2.debia..>2017-05-31 19:08 200K 
[TXT]acl2_7.4dfsg-2.dsc 2017-05-31 19:08 2.2K 
[ ]acl2_7.4dfsg-2_amd64..>2017-06-01 02:58 17M 
[ ]acl2_7.4dfsg-2_i386.deb2017-06-01 02:59 16M 
[ ]acl2_7.4dfsg-2build1..>2017-06-03 06:38 200K 
[TXT]acl2_7.4dfsg-2build1..>2017-06-03 06:38 2.2K 
[ ]acl2_7.4dfsg-2build1..>2017-06-03 13:28 17M 
[ ]acl2_7.4dfsg-2build1..>2017-06-03 13:08 16M 
[ ]acl2_7.4dfsg-3.1.deb..>2017-08-10 07:14 200K 
[TXT]acl2_7.4dfsg-3.1.dsc 2017-08-10 07:14 2.3K 
[ ]acl2_7.4dfsg-3.1_amd..>2017-08-10 15:37 17M 
[ ]acl2_7.4dfsg-3.1_i38..>2017-08-10 15:38 16M 
[ ]acl2_7.4dfsg-3.debia..>2017-06-10 07:08 200K 
[TXT]acl2_7.4dfsg-3.dsc 2017-06-10 07:08 2.2K 
[ ]acl2_7.4dfsg-3_amd64..>2017-06-10 11:08 17M 
[ ]acl2_7.4dfsg-3_i386.deb2017-06-10 13:53 16M 
[ ]acl2_7.4dfsg-4.debia..>2017-11-01 21:05 200K 
[TXT]acl2_7.4dfsg-4.dsc 2017-11-01 21:05 2.2K 
[ ]acl2_7.4dfsg-4_amd64..>2017-11-03 19:11 18M 
[ ]acl2_7.4dfsg-4_i386.deb2017-11-04 01:55 16M 
[ ]acl2_7.4dfsg.orig.ta..>2017-05-10 13:08 62M 
[ ]acl2_8.0dfsg-1.debia..>2018-01-14 07:08 200K 
[TXT]acl2_8.0dfsg-1.dsc 2018-01-14 07:08 2.2K 
[ ]acl2_8.0dfsg-1_amd64..>2018-01-14 11:08 19M 
[ ]acl2_8.0dfsg-1_i386.deb2018-01-14 12:49 16M 
[ ]acl2_8.0dfsg-1build1..>2019-01-15 19:08 200K 
[TXT]acl2_8.0dfsg-1build1..>2019-01-15 19:08 2.2K 
[ ]acl2_8.0dfsg-1build1..>2019-01-16 02:13 19M 
[ ]acl2_8.0dfsg-1build1..>2019-01-16 00:47 17M 
[ ]acl2_8.0dfsg.orig.ta..>2018-01-14 07:08 74M 
[ ]acl2_8.1dfsg-3.debia..>2019-04-21 19:46 200K 
[TXT]acl2_8.1dfsg-3.dsc 2019-04-21 19:46 2.2K 
[ ]acl2_8.1dfsg-3_amd64..>2019-04-22 03:43 19M 
[ ]acl2_8.1dfsg-3_i386.deb2019-04-22 07:31 18M 
[ ]acl2_8.1dfsg-4.debia..>2019-11-01 07:13 201K 
[TXT]acl2_8.1dfsg-4.dsc 2019-11-01 07:13 2.2K 
[ ]acl2_8.1dfsg-4_amd64..>2019-11-01 12:38 20M 
[ ]acl2_8.1dfsg-4_i386.deb2019-11-01 13:28 18M 
[ ]acl2_8.1dfsg-5.debia..>2019-12-09 07:13 201K 
[TXT]acl2_8.1dfsg-5.dsc 2019-12-09 07:13 2.2K 
[ ]acl2_8.1dfsg-5_amd64..>2019-12-09 12:43 19M 
[ ]acl2_8.1dfsg-6.debia..>2019-12-10 07:13 201K 
[TXT]acl2_8.1dfsg-6.dsc 2019-12-10 07:13 2.2K 
[ ]acl2_8.1dfsg-6_amd64..>2019-12-10 16:23 19M 
[ ]acl2_8.1dfsg.orig.ta..>2019-04-21 19:46 75M 
[ ]acl2_8.2dfsg-1.debia..>2019-12-20 07:13 201K 
[TXT]acl2_8.2dfsg-1.dsc 2019-12-20 07:13 2.2K 
[ ]acl2_8.2dfsg-1_amd64..>2019-12-20 12:43 21M 
[ ]acl2_8.2dfsg-2.debia..>2019-12-27 13:33 201K 
[TXT]acl2_8.2dfsg-2.dsc 2019-12-27 13:33 2.2K 
[ ]acl2_8.2dfsg-2_amd64..>2019-12-27 19:08 21M 
[ ]acl2_8.2dfsg-3.debia..>2019-12-31 19:13 201K 
[TXT]acl2_8.2dfsg-3.dsc 2019-12-31 19:13 2.2K 
[ ]acl2_8.2dfsg-3_amd64..>2020-01-01 02:53 21M 
[ ]acl2_8.2dfsg-3build1..>2020-03-23 15:00 201K 
[TXT]acl2_8.2dfsg-3build1..>2020-03-23 15:00 2.2K 
[ ]acl2_8.2dfsg-3build1..>2020-03-23 21:24 21M 
[ ]acl2_8.2dfsg.orig.ta..>2019-12-20 07:13 77M 
[ ]acl2_8.3dfsg-1.debia..>2020-08-24 19:13 201K 
[TXT]acl2_8.3dfsg-1.dsc 2020-08-24 19:13 2.2K 
[ ]acl2_8.3dfsg-1_amd64..>2020-08-24 20:18 20M 
[ ]acl2_8.3dfsg-2.debia..>2021-01-28 07:19 223K 
[TXT]acl2_8.3dfsg-2.dsc 2021-01-28 07:19 2.2K 
[ ]acl2_8.3dfsg-2_amd64..>2021-01-28 15:19 21M 
[ ]acl2_8.3dfsg-4.debia..>2021-10-19 04:14 256K 
[TXT]acl2_8.3dfsg-4.dsc 2021-10-19 04:14 2.2K 
[ ]acl2_8.3dfsg.orig.ta..>2020-08-24 19:13 112M 
[ ]acl2_8.4dfsg-1.debia..>2021-10-29 07:18 304K 
[TXT]acl2_8.4dfsg-1.dsc 2021-10-29 07:18 2.2K 
[ ]acl2_8.4dfsg-2.debia..>2021-11-02 07:24 304K 
[TXT]acl2_8.4dfsg-2.dsc 2021-11-02 07:24 2.2K 
[ ]acl2_8.4dfsg-2_amd64..>2021-12-19 09:10 25M 
[ ]acl2_8.4dfsg.orig.ta..>2021-10-29 07:18 194M 
[ ]acl2_8.5dfsg-1.debia..>2022-07-28 07:33 305K 
[TXT]acl2_8.5dfsg-1.dsc 2022-07-28 07:33 2.2K 
[ ]acl2_8.5dfsg-1_amd64..>2022-07-28 17:29 26M 
[ ]acl2_8.5dfsg-2.debia..>2022-12-23 01:29 306K 
[TXT]acl2_8.5dfsg-2.dsc 2022-12-23 01:29 2.2K 
[ ]acl2_8.5dfsg-2_amd64..>2022-12-23 10:29 25M 
[ ]acl2_8.5dfsg-3.debia..>2022-12-31 07:34 306K 
[TXT]acl2_8.5dfsg-3.dsc 2022-12-31 07:34 2.2K 
[ ]acl2_8.5dfsg-3_amd64..>2022-12-31 15:53 26M 
[ ]acl2_8.5dfsg-4.debia..>2023-01-14 13:34 306K 
[TXT]acl2_8.5dfsg-4.dsc 2023-01-14 13:34 2.2K 
[ ]acl2_8.5dfsg-4_amd64..>2023-01-15 00:49 26M 
[ ]acl2_8.5dfsg-5.debia..>2023-01-17 01:44 306K 
[TXT]acl2_8.5dfsg-5.dsc 2023-01-17 01:44 2.2K 
[ ]acl2_8.5dfsg-5_amd64..>2023-01-17 10:29 26M 
[ ]acl2_8.5dfsg-5build1..>2024-02-29 17:31 306K 
[TXT]acl2_8.5dfsg-5build1..>2024-02-29 17:31 2.4K 
[ ]acl2_8.5dfsg-5build1..>2024-03-01 03:34 25M 
[ ]acl2_8.5dfsg-5build2..>2024-03-19 08:49 306K 
[TXT]acl2_8.5dfsg-5build2..>2024-03-19 08:49 2.4K 
[ ]acl2_8.5dfsg-5build2..>2024-03-19 17:53 26M 
[ ]acl2_8.5dfsg-5build3..>2024-04-01 13:43 306K 
[TXT]acl2_8.5dfsg-5build3..>2024-04-01 13:43 2.3K 
[ ]acl2_8.5dfsg-5build3..>2024-04-02 16:03 26M 
[ ]acl2_8.5dfsg.orig.ta..>2022-07-28 07:33 213M 
[ ]elpa-acl2_8.4dfsg-2_..>2021-12-19 09:09 69K 
[ ]elpa-acl2_8.5dfsg-1_..>2022-07-28 17:29 70K 
[ ]elpa-acl2_8.5dfsg-2_..>2022-12-23 10:29 70K 
[ ]elpa-acl2_8.5dfsg-3_..>2022-12-31 15:53 70K 
[ ]elpa-acl2_8.5dfsg-4_..>2023-01-15 00:49 70K 
[ ]elpa-acl2_8.5dfsg-5_..>2023-01-17 10:29 70K 
[ ]elpa-acl2_8.5dfsg-5b..>2024-03-01 03:34 71K 
[ ]elpa-acl2_8.5dfsg-5b..>2024-03-19 17:53 71K 
[ ]elpa-acl2_8.5dfsg-5b..>2024-04-02 16:02 71K