| 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_amd64.deb | 42067578 | 24-Oct-2013 16:36 |
| acl2-books_6.3-5_i386.deb | 37550284 | 24-Oct-2013 16:36 |
| acl2-books_7.1-1_amd64.deb | 19608788 | 27-Jun-2015 13:48 |
| acl2-books_7.1-1_i386.deb | 18602828 | 02-Jun-2015 02:43 |
| acl2-books_8.0dfsg-1_amd64.deb | 138083420 | 14-Jan-2018 03:08 |
| acl2-books_8.0dfsg-1_i386.deb | 119603224 | 14-Jan-2018 04:49 |
| acl2-books_8.2dfsg-3build1_amd64.deb | 171294740 | 23-Mar-2020 13:24 |
| acl2-books_8.4dfsg-2_amd64.deb | 353947352 | 19-Dec-2021 01:09 |
| acl2-books_8.5dfsg-5_amd64.deb | 345315474 | 17-Jan-2023 02:29 |
| acl2-books_8.5dfsg-5build1_amd64.deb | 346409610 | 29-Feb-2024 19:34 |
| 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_amd64.deb | 205126 | 24-Oct-2013 16:36 |
| acl2-infix_6.3-5_i386.deb | 193572 | 24-Oct-2013 16:36 |
| acl2-infix_7.1-1_amd64.deb | 143558 | 27-Jun-2015 13:48 |
| acl2-infix_7.1-1_i386.deb | 145560 | 02-Jun-2015 02:43 |
| acl2-infix_8.0dfsg-1_amd64.deb | 424152 | 14-Jan-2018 03:08 |
| acl2-infix_8.0dfsg-1_i386.deb | 390264 | 14-Jan-2018 04:49 |
| acl2-infix_8.2dfsg-3build1_amd64.deb | 481148 | 23-Mar-2020 13:24 |
| acl2-infix_8.4dfsg-2_amd64.deb | 564006 | 19-Dec-2021 01:09 |
| acl2-infix_8.5dfsg-5_amd64.deb | 545458 | 17-Jan-2023 02:29 |
| acl2-infix_8.5dfsg-5build1_amd64.deb | 551004 | 29-Feb-2024 19:34 |
| 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_amd64.deb | 27878170 | 24-Oct-2013 16:36 |
| acl2_6.3-5_i386.deb | 24013356 | 24-Oct-2013 16:36 |
| 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_amd64.deb | 17277416 | 27-Jun-2015 13:48 |
| acl2_7.1-1_i386.deb | 16463104 | 02-Jun-2015 02:43 |
| 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_amd64.deb | 19704384 | 14-Jan-2018 03:08 |
| acl2_8.0dfsg-1_i386.deb | 16994892 | 14-Jan-2018 04:49 |
| 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_amd64.deb | 21932904 | 23-Mar-2020 13:24 |
| 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_amd64.deb | 26133150 | 19-Dec-2021 01:10 |
| 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_amd64.deb | 26950728 | 17-Jan-2023 02:29 |
| 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_amd64.deb | 26694524 | 29-Feb-2024 19:34 |
| acl2_8.5dfsg-5build2.debian.tar.xz | 313044 | 19-Mar-2024 00:49 |
| acl2_8.5dfsg-5build2.dsc | 2408 | 19-Mar-2024 00:49 |
| 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 |
