| Parent directory/ | - | - |
| acl2-books-certs_6.3-5_all.deb | 11641112 | 24-Oct-2013 16:36 |
| acl2-books-certs_7.1-1_all.deb | 13191160 | 27-Jun-2015 13:48 |
| acl2-books-certs_8.0dfsg-1_all.deb | 73403184 | 14-Jan-2018 03:08 |
| acl2-books-certs_8.2dfsg-3build1_all.deb | 68979892 | 23-Mar-2020 13:24 |
| acl2-books-certs_8.4dfsg-2_all.deb | 231831222 | 19-Dec-2021 01:10 |
| acl2-books-certs_8.5dfsg-5_all.deb | 226698028 | 17-Jan-2023 02:29 |
| acl2-books-certs_8.5dfsg-5build1_all.deb | 226268726 | 29-Feb-2024 19:34 |
| acl2-books-source_6.3-5_all.deb | 9570222 | 24-Oct-2013 16:36 |
| acl2-books-source_7.1-1_all.deb | 10333152 | 27-Jun-2015 13:48 |
| acl2-books-source_8.0dfsg-1_all.deb | 12466104 | 14-Jan-2018 03:08 |
| acl2-books-source_8.2dfsg-3build1_all.deb | 14290112 | 23-Mar-2020 13:24 |
| acl2-books-source_8.4dfsg-2_all.deb | 22136204 | 19-Dec-2021 01:10 |
| acl2-books-source_8.5dfsg-5_all.deb | 24014556 | 17-Jan-2023 02:29 |
| acl2-books-source_8.5dfsg-5build1_all.deb | 23864108 | 29-Feb-2024 19:34 |
| acl2-books_6.3-5_armhf.deb | 113350618 | 23-Oct-2013 04:44 |
| acl2-books_6.3-5_powerpc.deb | 39502804 | 22-Oct-2013 18:49 |
| acl2-books_7.1-1_arm64.deb | 19583214 | 02-Jun-2015 14:43 |
| acl2-books_7.1-1_armhf.deb | 62421090 | 02-Jun-2015 12:58 |
| acl2-books_7.1-1_powerpc.deb | 16154534 | 02-Jun-2015 05:48 |
| acl2-books_8.0dfsg-1_arm64.deb | 141266400 | 22-Jan-2018 03:23 |
| acl2-books_8.0dfsg-1_armhf.deb | 121281400 | 21-Jan-2018 23:13 |
| acl2-books_8.0dfsg-1_ppc64el.deb | 141916160 | 31-Jan-2018 14:58 |
| acl2-books_8.0dfsg-1_s390x.deb | 127451660 | 23-Jan-2018 21:18 |
| acl2-books_8.2dfsg-3build1_arm64.deb | 169297064 | 24-Mar-2020 08:48 |
| acl2-books_8.2dfsg-3build1_armhf.deb | 158561012 | 24-Mar-2020 08:18 |
| acl2-books_8.2dfsg-3build1_ppc64el.deb | 177813260 | 23-Mar-2020 15:18 |
| acl2-books_8.2dfsg-3build1_s390x.deb | 155654272 | 23-Mar-2020 12:14 |
| acl2-books_8.4dfsg-2_arm64.deb | 351062826 | 26-Dec-2021 07:08 |
| acl2-books_8.4dfsg-2_armhf.deb | 336148864 | 26-Dec-2021 05:49 |
| acl2-books_8.4dfsg-2_ppc64el.deb | 369454152 | 25-Dec-2021 19:23 |
| acl2-books_8.4dfsg-2_s390x.deb | 341322284 | 18-Dec-2021 17:36 |
| acl2-books_8.5dfsg-5_arm64.deb | 352159590 | 17-Jan-2023 17:45 |
| acl2-books_8.5dfsg-5_armhf.deb | 330785190 | 17-Jan-2023 07:04 |
| acl2-books_8.5dfsg-5_ppc64el.deb | 363546064 | 17-Jan-2023 04:24 |
| acl2-books_8.5dfsg-5_riscv64.deb | 980764776 | 15-Feb-2023 08:04 |
| acl2-books_8.5dfsg-5_s390x.deb | 328882256 | 17-Jan-2023 04:24 |
| acl2-books_8.5dfsg-5build1_arm64.deb | 353544436 | 01-Mar-2024 21:53 |
| acl2-books_8.5dfsg-5build1_armhf.deb | 333089480 | 02-Mar-2024 18:14 |
| acl2-books_8.5dfsg-5build1_ppc64el.deb | 367137408 | 01-Mar-2024 06:49 |
| acl2-books_8.5dfsg-5build1_riscv64.deb | 1111581320 | 07-Mar-2024 05:14 |
| acl2-books_8.5dfsg-5build1_s390x.deb | 346803566 | 01-Mar-2024 07:38 |
| acl2-doc_6.3-5_all.deb | 12728778 | 24-Oct-2013 16:36 |
| acl2-doc_7.1-1_all.deb | 361780 | 27-Jun-2015 13:48 |
| acl2-doc_8.0dfsg-1_all.deb | 394360 | 14-Jan-2018 03:08 |
| acl2-doc_8.2dfsg-3build1_all.deb | 428100 | 23-Mar-2020 13:24 |
| acl2-doc_8.4dfsg-2_all.deb | 451656 | 19-Dec-2021 01:09 |
| acl2-doc_8.5dfsg-5_all.deb | 484782 | 17-Jan-2023 02:29 |
| acl2-doc_8.5dfsg-5build1_all.deb | 485202 | 29-Feb-2024 19:34 |
| acl2-emacs_6.3-5_all.deb | 56302 | 24-Oct-2013 16:36 |
| acl2-emacs_7.1-1_all.deb | 56524 | 27-Jun-2015 13:48 |
| acl2-emacs_8.0dfsg-1_all.deb | 60340 | 14-Jan-2018 03:08 |
| acl2-emacs_8.2dfsg-3build1_all.deb | 60520 | 23-Mar-2020 13:24 |
| acl2-infix-source_6.3-5_all.deb | 88034 | 24-Oct-2013 16:36 |
| acl2-infix-source_7.1-1_all.deb | 72020 | 27-Jun-2015 13:48 |
| acl2-infix-source_8.0dfsg-1_all.deb | 71888 | 14-Jan-2018 03:08 |
| acl2-infix-source_8.2dfsg-3build1_all.deb | 71920 | 23-Mar-2020 13:24 |
| acl2-infix-source_8.4dfsg-2_all.deb | 73680 | 19-Dec-2021 01:10 |
| acl2-infix-source_8.5dfsg-5_all.deb | 73612 | 17-Jan-2023 02:29 |
| acl2-infix-source_8.5dfsg-5build1_all.deb | 74074 | 29-Feb-2024 19:34 |
| acl2-infix_6.3-5_armhf.deb | 587300 | 23-Oct-2013 04:44 |
| acl2-infix_6.3-5_powerpc.deb | 217146 | 22-Oct-2013 18:49 |
| acl2-infix_7.1-1_arm64.deb | 151024 | 02-Jun-2015 14:43 |
| acl2-infix_7.1-1_armhf.deb | 433376 | 02-Jun-2015 12:58 |
| acl2-infix_7.1-1_powerpc.deb | 135934 | 02-Jun-2015 05:48 |
| acl2-infix_8.0dfsg-1_arm64.deb | 430600 | 22-Jan-2018 03:23 |
| acl2-infix_8.0dfsg-1_armhf.deb | 409780 | 21-Jan-2018 23:13 |
| acl2-infix_8.0dfsg-1_ppc64el.deb | 475384 | 31-Jan-2018 14:57 |
| acl2-infix_8.0dfsg-1_s390x.deb | 387040 | 23-Jan-2018 21:18 |
| acl2-infix_8.2dfsg-3build1_arm64.deb | 471912 | 24-Mar-2020 08:48 |
| acl2-infix_8.2dfsg-3build1_armhf.deb | 457852 | 24-Mar-2020 08:18 |
| acl2-infix_8.2dfsg-3build1_ppc64el.deb | 497296 | 23-Mar-2020 15:18 |
| acl2-infix_8.2dfsg-3build1_s390x.deb | 444988 | 23-Mar-2020 12:14 |
| acl2-infix_8.4dfsg-2_arm64.deb | 572608 | 26-Dec-2021 07:08 |
| acl2-infix_8.4dfsg-2_armhf.deb | 564612 | 26-Dec-2021 05:49 |
| acl2-infix_8.4dfsg-2_ppc64el.deb | 618604 | 25-Dec-2021 19:23 |
| acl2-infix_8.4dfsg-2_s390x.deb | 567224 | 18-Dec-2021 17:36 |
| acl2-infix_8.5dfsg-5_arm64.deb | 552418 | 17-Jan-2023 17:45 |
| acl2-infix_8.5dfsg-5_armhf.deb | 553900 | 17-Jan-2023 07:04 |
| acl2-infix_8.5dfsg-5_ppc64el.deb | 591150 | 17-Jan-2023 04:24 |
| acl2-infix_8.5dfsg-5_riscv64.deb | 1355330 | 15-Feb-2023 08:04 |
| acl2-infix_8.5dfsg-5_s390x.deb | 513658 | 17-Jan-2023 04:24 |
| acl2-infix_8.5dfsg-5build1_arm64.deb | 554562 | 01-Mar-2024 21:53 |
| acl2-infix_8.5dfsg-5build1_armhf.deb | 554378 | 02-Mar-2024 18:14 |
| acl2-infix_8.5dfsg-5build1_ppc64el.deb | 605874 | 01-Mar-2024 06:48 |
| acl2-infix_8.5dfsg-5build1_riscv64.deb | 1525588 | 07-Mar-2024 05:14 |
| acl2-infix_8.5dfsg-5build1_s390x.deb | 553338 | 01-Mar-2024 07:38 |
| acl2-source_6.3-5_all.deb | 3795138 | 24-Oct-2013 16:36 |
| acl2-source_7.1-1_all.deb | 2838230 | 27-Jun-2015 13:48 |
| acl2-source_8.0dfsg-1_all.deb | 3074488 | 14-Jan-2018 03:08 |
| acl2-source_8.2dfsg-3build1_all.deb | 3268812 | 23-Mar-2020 13:24 |
| acl2-source_8.4dfsg-2_all.deb | 3536828 | 19-Dec-2021 01:10 |
| acl2-source_8.5dfsg-5_all.deb | 3651794 | 17-Jan-2023 02:29 |
| acl2-source_8.5dfsg-5build1_all.deb | 3652632 | 29-Feb-2024 19:34 |
| acl2_6.3-5.debian.tar.gz | 161480 | 21-Oct-2013 13:09 |
| acl2_6.3-5.dsc | 1749 | 21-Oct-2013 13:09 |
| acl2_6.3-5_armhf.deb | 24228232 | 23-Oct-2013 04:44 |
| acl2_6.3-5_powerpc.deb | 25890470 | 22-Oct-2013 18:49 |
| acl2_6.3.orig-books.tar.gz | 13598991 | 21-Oct-2013 13:09 |
| acl2_6.3.orig.tar.gz | 7068895 | 21-Oct-2013 13:09 |
| acl2_7.1-1.debian.tar.xz | 128900 | 01-Jun-2015 23:24 |
| acl2_7.1-1.dsc | 2203 | 01-Jun-2015 23:24 |
| acl2_7.1-1_arm64.deb | 15646510 | 02-Jun-2015 14:43 |
| acl2_7.1-1_armhf.deb | 16136508 | 02-Jun-2015 12:58 |
| acl2_7.1-1_powerpc.deb | 14098382 | 02-Jun-2015 05:48 |
| acl2_7.1.orig.tar.gz | 63342334 | 01-Jun-2015 23:24 |
| acl2_8.0dfsg-1.debian.tar.xz | 204760 | 13-Jan-2018 23:08 |
| acl2_8.0dfsg-1.dsc | 2245 | 13-Jan-2018 23:08 |
| acl2_8.0dfsg-1_arm64.deb | 17735608 | 22-Jan-2018 03:23 |
| acl2_8.0dfsg-1_armhf.deb | 16180312 | 21-Jan-2018 23:13 |
| acl2_8.0dfsg-1_ppc64el.deb | 19553148 | 31-Jan-2018 14:58 |
| acl2_8.0dfsg-1_s390x.deb | 18695628 | 23-Jan-2018 21:18 |
| acl2_8.0dfsg.orig.tar.gz | 77635571 | 13-Jan-2018 23:08 |
| acl2_8.2dfsg-3build1.debian.tar.xz | 206024 | 23-Mar-2020 07:00 |
| acl2_8.2dfsg-3build1.dsc | 2296 | 23-Mar-2020 07:00 |
| acl2_8.2dfsg-3build1_arm64.deb | 20342888 | 24-Mar-2020 08:48 |
| acl2_8.2dfsg-3build1_armhf.deb | 18614872 | 24-Mar-2020 08:18 |
| acl2_8.2dfsg-3build1_ppc64el.deb | 21898060 | 23-Mar-2020 15:18 |
| acl2_8.2dfsg-3build1_s390x.deb | 21104780 | 23-Mar-2020 12:14 |
| acl2_8.2dfsg.orig.tar.gz | 80652725 | 19-Dec-2019 23:13 |
| acl2_8.4dfsg-2.debian.tar.xz | 311628 | 01-Nov-2021 23:24 |
| acl2_8.4dfsg-2.dsc | 2281 | 01-Nov-2021 23:24 |
| acl2_8.4dfsg-2_arm64.deb | 25090910 | 26-Dec-2021 07:08 |
| acl2_8.4dfsg-2_armhf.deb | 22325788 | 26-Dec-2021 05:49 |
| acl2_8.4dfsg-2_ppc64el.deb | 26386578 | 25-Dec-2021 19:23 |
| acl2_8.4dfsg-2_s390x.deb | 25975290 | 18-Dec-2021 17:36 |
| acl2_8.4dfsg.orig.tar.gz | 202991839 | 28-Oct-2021 23:18 |
| acl2_8.5dfsg-5.debian.tar.xz | 312896 | 16-Jan-2023 17:44 |
| acl2_8.5dfsg-5.dsc | 2268 | 16-Jan-2023 17:44 |
| acl2_8.5dfsg-5_arm64.deb | 25730506 | 17-Jan-2023 17:45 |
| acl2_8.5dfsg-5_armhf.deb | 23126052 | 17-Jan-2023 07:04 |
| acl2_8.5dfsg-5_ppc64el.deb | 26909166 | 17-Jan-2023 04:24 |
| acl2_8.5dfsg-5_riscv64.deb | 24774778 | 15-Feb-2023 08:04 |
| acl2_8.5dfsg-5_s390x.deb | 26553062 | 17-Jan-2023 04:24 |
| acl2_8.5dfsg-5build1.debian.tar.xz | 312956 | 29-Feb-2024 09:31 |
| acl2_8.5dfsg-5build1.dsc | 2408 | 29-Feb-2024 09:31 |
| acl2_8.5dfsg-5build1_arm64.deb | 25762674 | 01-Mar-2024 21:53 |
| acl2_8.5dfsg-5build1_armhf.deb | 22596888 | 02-Mar-2024 18:14 |
| acl2_8.5dfsg-5build1_ppc64el.deb | 27210772 | 01-Mar-2024 06:49 |
| acl2_8.5dfsg-5build1_riscv64.deb | 26213606 | 07-Mar-2024 05:14 |
| acl2_8.5dfsg-5build1_s390x.deb | 28351358 | 01-Mar-2024 07:38 |
| acl2_8.5dfsg.orig.tar.gz | 223546594 | 27-Jul-2022 23:33 |
| elpa-acl2_8.4dfsg-2_all.deb | 70790 | 19-Dec-2021 01:09 |
| elpa-acl2_8.5dfsg-5_all.deb | 72014 | 17-Jan-2023 02:29 |
| elpa-acl2_8.5dfsg-5build1_all.deb | 72358 | 29-Feb-2024 19:34 |
