| Parent Directory | - | - | - |
| acl2-books-certs_6.3-5_all.deb | 2013-10-24 16:36 | 11641112 | - |
| acl2-books-certs_7.1-1_all.deb | 2015-06-27 13:48 | 13191160 | - |
| acl2-books-certs_8.0dfsg-1_all.deb | 2018-01-14 03:08 | 73403184 | - |
| acl2-books-certs_8.2dfsg-3build1_all.deb | 2020-03-23 13:24 | 68979892 | - |
| acl2-books-certs_8.4dfsg-2_all.deb | 2021-12-19 01:10 | 231831222 | - |
| acl2-books-certs_8.5dfsg-5build3_all.deb | 2024-04-02 08:03 | 226234436 | - |
| acl2-books-certs_8.5dfsg-6_all.deb | 2024-07-29 04:20 | 82468930 | - |
| acl2-books-certs_8.6+dfsg-3_all.deb | 2025-05-15 07:30 | 280663208 | - |
| acl2-books-certs_8.6+dfsg-3build1_all.deb | 2026-02-04 06:32 | 280009442 | - |
| acl2-books-certs_8.7+dfsg-3_all.deb | 2026-07-18 07:54 | 305260242 | - |
| acl2-books-source_6.3-5_all.deb | 2013-10-24 16:36 | 9570222 | - |
| acl2-books-source_7.1-1_all.deb | 2015-06-27 13:48 | 10333152 | - |
| acl2-books-source_8.0dfsg-1_all.deb | 2018-01-14 03:08 | 12466104 | - |
| acl2-books-source_8.2dfsg-3build1_all.deb | 2020-03-23 13:24 | 14290112 | - |
| acl2-books-source_8.4dfsg-2_all.deb | 2021-12-19 01:10 | 22136204 | - |
| acl2-books-source_8.5dfsg-5build3_all.deb | 2024-04-02 08:02 | 23801362 | - |
| acl2-books-source_8.5dfsg-6_all.deb | 2024-07-29 04:20 | 23816010 | - |
| acl2-books-source_8.6+dfsg-3_all.deb | 2025-05-15 07:30 | 27622456 | - |
| acl2-books-source_8.6+dfsg-3build1_all.deb | 2026-02-04 06:32 | 27776852 | - |
| acl2-books-source_8.7+dfsg-3_all.deb | 2026-07-18 07:54 | 29782890 | - |
| acl2-books_6.3-5_amd64.deb | 2013-10-24 16:36 | 42067578 | - |
| acl2-books_6.3-5_i386.deb | 2013-10-24 16:36 | 37550284 | - |
| acl2-books_7.1-1_amd64.deb | 2015-06-27 13:48 | 19608788 | - |
| acl2-books_7.1-1_i386.deb | 2015-06-02 02:43 | 18602828 | - |
| acl2-books_8.0dfsg-1_amd64.deb | 2018-01-14 03:08 | 138083420 | - |
| acl2-books_8.0dfsg-1_i386.deb | 2018-01-14 04:49 | 119603224 | - |
| acl2-books_8.2dfsg-3build1_amd64.deb | 2020-03-23 13:24 | 171294740 | - |
| acl2-books_8.4dfsg-2_amd64.deb | 2021-12-19 01:09 | 353947352 | - |
| acl2-books_8.5dfsg-5build3_amd64.deb | 2024-04-02 08:03 | 346555008 | - |
| acl2-books_8.5dfsg-6_amd64.deb | 2024-07-29 04:20 | 178788782 | - |
| acl2-books_8.6+dfsg-3_amd64.deb | 2025-05-15 07:30 | 491762868 | - |
| acl2-books_8.6+dfsg-3_arm64.deb | 2025-05-15 08:55 | 493160972 | - |
| acl2-books_8.6+dfsg-3build1_amd64.deb | 2026-02-04 06:32 | 489589524 | - |
| acl2-books_8.6+dfsg-3build1_amd64v3.deb | 2026-02-04 08:06 | 489853856 | - |
| acl2-books_8.6+dfsg-3build1_arm64.deb | 2026-02-04 08:06 | 487964786 | - |
| acl2-books_8.7+dfsg-3_amd64.deb | 2026-07-18 07:56 | 537930066 | - |
| acl2-books_8.7+dfsg-3_amd64v3.deb | 2026-07-18 07:09 | 537860324 | - |
| acl2-books_8.7+dfsg-3_arm64.deb | 2026-07-18 07:56 | 535156846 | - |
| acl2-doc_6.3-5_all.deb | 2013-10-24 16:36 | 12728778 | - |
| acl2-doc_7.1-1_all.deb | 2015-06-27 13:48 | 361780 | - |
| acl2-doc_8.0dfsg-1_all.deb | 2018-01-14 03:08 | 394360 | - |
| acl2-doc_8.2dfsg-3build1_all.deb | 2020-03-23 13:24 | 428100 | - |
| acl2-doc_8.4dfsg-2_all.deb | 2021-12-19 01:09 | 451656 | - |
| acl2-doc_8.5dfsg-5build3_all.deb | 2024-04-02 08:02 | 485308 | - |
| acl2-doc_8.5dfsg-6_all.deb | 2024-07-29 04:20 | 485170 | - |
| acl2-doc_8.6+dfsg-3_all.deb | 2025-05-15 07:30 | 528426 | - |
| acl2-doc_8.6+dfsg-3build1_all.deb | 2026-02-04 06:32 | 528512 | - |
| acl2-doc_8.7+dfsg-3_all.deb | 2026-07-18 07:54 | 549692 | - |
| acl2-emacs_6.3-5_all.deb | 2013-10-24 16:36 | 56302 | - |
| acl2-emacs_7.1-1_all.deb | 2015-06-27 13:48 | 56524 | - |
| acl2-emacs_8.0dfsg-1_all.deb | 2018-01-14 03:08 | 60340 | - |
| acl2-emacs_8.2dfsg-3build1_all.deb | 2020-03-23 13:24 | 60520 | - |
| acl2-infix-source_6.3-5_all.deb | 2013-10-24 16:36 | 88034 | - |
| acl2-infix-source_7.1-1_all.deb | 2015-06-27 13:48 | 72020 | - |
| acl2-infix-source_8.0dfsg-1_all.deb | 2018-01-14 03:08 | 71888 | - |
| acl2-infix-source_8.2dfsg-3build1_all.deb | 2020-03-23 13:24 | 71920 | - |
| acl2-infix-source_8.4dfsg-2_all.deb | 2021-12-19 01:10 | 73680 | - |
| acl2-infix-source_8.5dfsg-5build3_all.deb | 2024-04-02 08:02 | 74148 | - |
| acl2-infix-source_8.5dfsg-6_all.deb | 2024-07-29 04:20 | 74020 | - |
| acl2-infix-source_8.6+dfsg-3_all.deb | 2025-05-15 07:30 | 74516 | - |
| acl2-infix-source_8.6+dfsg-3build1_all.deb | 2026-02-04 06:32 | 74626 | - |
| acl2-infix-source_8.7+dfsg-3_all.deb | 2026-07-18 07:54 | 73652 | - |
| acl2-infix_6.3-5_amd64.deb | 2013-10-24 16:36 | 205126 | - |
| acl2-infix_6.3-5_i386.deb | 2013-10-24 16:36 | 193572 | - |
| acl2-infix_7.1-1_amd64.deb | 2015-06-27 13:48 | 143558 | - |
| acl2-infix_7.1-1_i386.deb | 2015-06-02 02:43 | 145560 | - |
| acl2-infix_8.0dfsg-1_amd64.deb | 2018-01-14 03:08 | 424152 | - |
| acl2-infix_8.0dfsg-1_i386.deb | 2018-01-14 04:49 | 390264 | - |
| acl2-infix_8.2dfsg-3build1_amd64.deb | 2020-03-23 13:24 | 481148 | - |
| acl2-infix_8.4dfsg-2_amd64.deb | 2021-12-19 01:09 | 564006 | - |
| acl2-infix_8.5dfsg-5build3_amd64.deb | 2024-04-02 08:02 | 551042 | - |
| acl2-infix_8.5dfsg-6_amd64.deb | 2024-07-29 04:20 | 545828 | - |
| acl2-infix_8.6+dfsg-3_amd64.deb | 2025-05-15 07:30 | 1014618 | - |
| acl2-infix_8.6+dfsg-3_arm64.deb | 2025-05-15 08:55 | 992038 | - |
| acl2-infix_8.6+dfsg-3build1_amd64.deb | 2026-02-04 06:32 | 999778 | - |
| acl2-infix_8.6+dfsg-3build1_amd64v3.deb | 2026-02-04 08:06 | 1003876 | - |
| acl2-infix_8.6+dfsg-3build1_arm64.deb | 2026-02-04 08:06 | 982266 | - |
| acl2-infix_8.7+dfsg-3_amd64.deb | 2026-07-18 07:54 | 1015804 | - |
| acl2-infix_8.7+dfsg-3_amd64v3.deb | 2026-07-18 07:09 | 1016970 | - |
| acl2-infix_8.7+dfsg-3_arm64.deb | 2026-07-18 07:56 | 1003850 | - |
| acl2-source_6.3-5_all.deb | 2013-10-24 16:36 | 3795138 | - |
| acl2-source_7.1-1_all.deb | 2015-06-27 13:48 | 2838230 | - |
| acl2-source_8.0dfsg-1_all.deb | 2018-01-14 03:08 | 3074488 | - |
| acl2-source_8.2dfsg-3build1_all.deb | 2020-03-23 13:24 | 3268812 | - |
| acl2-source_8.4dfsg-2_all.deb | 2021-12-19 01:10 | 3536828 | - |
| acl2-source_8.5dfsg-5build3_all.deb | 2024-04-02 08:02 | 3652452 | - |
| acl2-source_8.5dfsg-6_all.deb | 2024-07-29 04:20 | 3645750 | - |
| acl2-source_8.6+dfsg-3_all.deb | 2025-05-15 07:30 | 4061914 | - |
| acl2-source_8.6+dfsg-3build1_all.deb | 2026-02-04 06:32 | 4062104 | - |
| acl2-source_8.7+dfsg-3_all.deb | 2026-07-18 07:54 | 4137498 | - |
| acl2_6.3-5.debian.tar.gz | 2013-10-21 13:09 | 161480 | - |
| acl2_6.3-5.dsc | 2013-10-21 13:09 | 1749 | - |
| acl2_6.3-5_amd64.deb | 2013-10-24 16:36 | 27878170 | - |
| acl2_6.3-5_i386.deb | 2013-10-24 16:36 | 24013356 | - |
| acl2_6.3.orig-books.tar.gz | 2013-10-21 13:09 | 13598991 | - |
| acl2_6.3.orig.tar.gz | 2013-10-21 13:09 | 7068895 | - |
| acl2_7.1-1.debian.tar.xz | 2015-06-01 23:24 | 128900 | - |
| acl2_7.1-1.dsc | 2015-06-01 23:24 | 2203 | - |
| acl2_7.1-1_amd64.deb | 2015-06-27 13:48 | 17277416 | - |
| acl2_7.1-1_i386.deb | 2015-06-02 02:43 | 16463104 | - |
| acl2_7.1.orig.tar.gz | 2015-06-01 23:24 | 63342334 | - |
| acl2_8.0dfsg-1.debian.tar.xz | 2018-01-13 23:08 | 204760 | - |
| acl2_8.0dfsg-1.dsc | 2018-01-13 23:08 | 2245 | - |
| acl2_8.0dfsg-1_amd64.deb | 2018-01-14 03:08 | 19704384 | - |
| acl2_8.0dfsg-1_i386.deb | 2018-01-14 04:49 | 16994892 | - |
| acl2_8.0dfsg.orig.tar.gz | 2018-01-13 23:08 | 77635571 | - |
| acl2_8.2dfsg-3build1.debian.tar.xz | 2020-03-23 07:00 | 206024 | - |
| acl2_8.2dfsg-3build1.dsc | 2020-03-23 07:00 | 2296 | - |
| acl2_8.2dfsg-3build1_amd64.deb | 2020-03-23 13:24 | 21932904 | - |
| acl2_8.2dfsg.orig.tar.gz | 2019-12-19 23:13 | 80652725 | - |
| acl2_8.4dfsg-2.debian.tar.xz | 2021-11-01 23:24 | 311628 | - |
| acl2_8.4dfsg-2.dsc | 2021-11-01 23:24 | 2281 | - |
| acl2_8.4dfsg-2_amd64.deb | 2021-12-19 01:10 | 26133150 | - |
| acl2_8.4dfsg.orig.tar.gz | 2021-10-28 23:18 | 202991839 | - |
| acl2_8.5dfsg-5build3.debian.tar.xz | 2024-04-01 05:43 | 313036 | - |
| acl2_8.5dfsg-5build3.dsc | 2024-04-01 05:43 | 2371 | - |
| acl2_8.5dfsg-5build3_amd64.deb | 2024-04-02 08:03 | 26854572 | - |
| acl2_8.5dfsg-6.debian.tar.xz | 2024-07-28 23:59 | 312848 | - |
| acl2_8.5dfsg-6.dsc | 2024-07-28 23:59 | 2268 | - |
| acl2_8.5dfsg-6_amd64.deb | 2024-07-29 04:20 | 26482042 | - |
| acl2_8.5dfsg.orig.tar.gz | 2022-07-27 23:33 | 223546594 | - |
| acl2_8.6+dfsg-3.debian.tar.xz | 2025-05-15 00:36 | 711200 | - |
| acl2_8.6+dfsg-3.dsc | 2025-05-15 00:35 | 2288 | - |
| acl2_8.6+dfsg-3_amd64.deb | 2025-05-15 07:30 | 47521530 | - |
| acl2_8.6+dfsg-3_arm64.deb | 2025-05-15 08:55 | 47358036 | - |
| acl2_8.6+dfsg-3build1.debian.tar.xz | 2026-02-03 22:43 | 711120 | - |
| acl2_8.6+dfsg-3build1.dsc | 2026-02-03 22:43 | 2312 | - |
| acl2_8.6+dfsg-3build1_amd64.deb | 2026-02-04 06:32 | 48895074 | - |
| acl2_8.6+dfsg-3build1_amd64v3.deb | 2026-02-04 08:06 | 48196810 | - |
| acl2_8.6+dfsg-3build1_arm64.deb | 2026-02-04 08:06 | 48103244 | - |
| acl2_8.6+dfsg.orig.tar.gz | 2025-05-01 16:25 | 240329345 | - |
| acl2_8.7+dfsg-3.debian.tar.xz | 2026-07-17 23:14 | 901928 | - |
| acl2_8.7+dfsg-3.dsc | 2026-07-17 23:14 | 2288 | - |
| acl2_8.7+dfsg-3_amd64.deb | 2026-07-18 07:56 | 46540924 | - |
| acl2_8.7+dfsg-3_amd64v3.deb | 2026-07-18 07:09 | 46993102 | - |
| acl2_8.7+dfsg-3_arm64.deb | 2026-07-18 07:56 | 42988558 | - |
| acl2_8.7+dfsg.orig.tar.gz | 2026-06-17 17:34 | 249797630 | - |
| elpa-acl2_8.4dfsg-2_all.deb | 2021-12-19 01:09 | 70790 | - |
| elpa-acl2_8.5dfsg-5build3_all.deb | 2024-04-02 08:02 | 72432 | - |
| elpa-acl2_8.5dfsg-6_all.deb | 2024-07-29 04:20 | 72514 | - |
| elpa-acl2_8.6+dfsg-3_all.deb | 2025-05-15 07:30 | 80512 | - |
| elpa-acl2_8.6+dfsg-3build1_all.deb | 2026-02-04 06:32 | 80630 | - |
| elpa-acl2_8.7+dfsg-3_all.deb | 2026-07-18 07:54 | 79558 | - |