| Parent directory/ | - | - |
| acl2_6.3-5.dsc | 1749 | 2013-Oct-21 13:09 |
| acl2_7.1-1.dsc | 2203 | 2015-Jun-01 23:24 |
| acl2_8.0dfsg-1.dsc | 2245 | 2018-Jan-13 23:08 |
| acl2_8.5dfsg-5.dsc | 2268 | 2023-Jan-16 17:44 |
| acl2_8.4dfsg-2.dsc | 2281 | 2021-Nov-01 23:24 |
| acl2_8.2dfsg-3build1.dsc | 2296 | 2020-Mar-23 07:00 |
| acl2_8.5dfsg-5build3.dsc | 2371 | 2024-Apr-01 05:43 |
| acl2-emacs_6.3-5_all.deb | 56302 | 2013-Oct-24 16:36 |
| acl2-emacs_7.1-1_all.deb | 56524 | 2015-Jun-27 13:48 |
| acl2-emacs_8.0dfsg-1_all.deb | 60340 | 2018-Jan-14 03:08 |
| acl2-emacs_8.2dfsg-3build1_all.deb | 60520 | 2020-Mar-23 13:24 |
| elpa-acl2_8.4dfsg-2_all.deb | 70790 | 2021-Dec-19 01:09 |
| acl2-infix-source_8.0dfsg-1_all.deb | 71888 | 2018-Jan-14 03:08 |
| acl2-infix-source_8.2dfsg-3build1_all.deb | 71920 | 2020-Mar-23 13:24 |
| elpa-acl2_8.5dfsg-5_all.deb | 72014 | 2023-Jan-17 02:29 |
| acl2-infix-source_7.1-1_all.deb | 72020 | 2015-Jun-27 13:48 |
| elpa-acl2_8.5dfsg-5build3_all.deb | 72432 | 2024-Apr-02 08:02 |
| acl2-infix-source_8.5dfsg-5_all.deb | 73612 | 2023-Jan-17 02:29 |
| acl2-infix-source_8.4dfsg-2_all.deb | 73680 | 2021-Dec-19 01:10 |
| acl2-infix-source_8.5dfsg-5build3_all.deb | 74148 | 2024-Apr-02 08:02 |
| acl2-infix-source_6.3-5_all.deb | 88034 | 2013-Oct-24 16:36 |
| acl2_7.1-1.debian.tar.xz | 128900 | 2015-Jun-01 23:24 |
| acl2-infix_7.1-1_amd64.deb | 143558 | 2015-Jun-27 13:48 |
| acl2-infix_7.1-1_i386.deb | 145560 | 2015-Jun-02 02:43 |
| acl2_6.3-5.debian.tar.gz | 161480 | 2013-Oct-21 13:09 |
| acl2-infix_6.3-5_i386.deb | 193572 | 2013-Oct-24 16:36 |
| acl2_8.0dfsg-1.debian.tar.xz | 204760 | 2018-Jan-13 23:08 |
| acl2-infix_6.3-5_amd64.deb | 205126 | 2013-Oct-24 16:36 |
| acl2_8.2dfsg-3build1.debian.tar.xz | 206024 | 2020-Mar-23 07:00 |
| acl2_8.4dfsg-2.debian.tar.xz | 311628 | 2021-Nov-01 23:24 |
| acl2_8.5dfsg-5.debian.tar.xz | 312896 | 2023-Jan-16 17:44 |
| acl2_8.5dfsg-5build3.debian.tar.xz | 313036 | 2024-Apr-01 05:43 |
| acl2-doc_7.1-1_all.deb | 361780 | 2015-Jun-27 13:48 |
| acl2-infix_8.0dfsg-1_i386.deb | 390264 | 2018-Jan-14 04:49 |
| acl2-doc_8.0dfsg-1_all.deb | 394360 | 2018-Jan-14 03:08 |
| acl2-infix_8.0dfsg-1_amd64.deb | 424152 | 2018-Jan-14 03:08 |
| acl2-doc_8.2dfsg-3build1_all.deb | 428100 | 2020-Mar-23 13:24 |
| acl2-doc_8.4dfsg-2_all.deb | 451656 | 2021-Dec-19 01:09 |
| acl2-infix_8.2dfsg-3build1_amd64.deb | 481148 | 2020-Mar-23 13:24 |
| acl2-doc_8.5dfsg-5_all.deb | 484782 | 2023-Jan-17 02:29 |
| acl2-doc_8.5dfsg-5build3_all.deb | 485308 | 2024-Apr-02 08:02 |
| acl2-infix_8.5dfsg-5_amd64.deb | 545458 | 2023-Jan-17 02:29 |
| acl2-infix_8.5dfsg-5build3_amd64.deb | 551042 | 2024-Apr-02 08:02 |
| acl2-infix_8.4dfsg-2_amd64.deb | 564006 | 2021-Dec-19 01:09 |
| acl2-source_7.1-1_all.deb | 2838230 | 2015-Jun-27 13:48 |
| acl2-source_8.0dfsg-1_all.deb | 3074488 | 2018-Jan-14 03:08 |
| acl2-source_8.2dfsg-3build1_all.deb | 3268812 | 2020-Mar-23 13:24 |
| acl2-source_8.4dfsg-2_all.deb | 3536828 | 2021-Dec-19 01:10 |
| acl2-source_8.5dfsg-5_all.deb | 3651794 | 2023-Jan-17 02:29 |
| acl2-source_8.5dfsg-5build3_all.deb | 3652452 | 2024-Apr-02 08:02 |
| acl2-source_6.3-5_all.deb | 3795138 | 2013-Oct-24 16:36 |
| acl2_6.3.orig.tar.gz | 7068895 | 2013-Oct-21 13:09 |
| acl2-books-source_6.3-5_all.deb | 9570222 | 2013-Oct-24 16:36 |
| acl2-books-source_7.1-1_all.deb | 10333152 | 2015-Jun-27 13:48 |
| acl2-books-certs_6.3-5_all.deb | 11641112 | 2013-Oct-24 16:36 |
| acl2-books-source_8.0dfsg-1_all.deb | 12466104 | 2018-Jan-14 03:08 |
| acl2-doc_6.3-5_all.deb | 12728778 | 2013-Oct-24 16:36 |
| acl2-books-certs_7.1-1_all.deb | 13191160 | 2015-Jun-27 13:48 |
| acl2_6.3.orig-books.tar.gz | 13598991 | 2013-Oct-21 13:09 |
| acl2-books-source_8.2dfsg-3build1_all.deb | 14290112 | 2020-Mar-23 13:24 |
| acl2_7.1-1_i386.deb | 16463104 | 2015-Jun-02 02:43 |
| acl2_8.0dfsg-1_i386.deb | 16994892 | 2018-Jan-14 04:49 |
| acl2_7.1-1_amd64.deb | 17277416 | 2015-Jun-27 13:48 |
| acl2-books_7.1-1_i386.deb | 18602828 | 2015-Jun-02 02:43 |
| acl2-books_7.1-1_amd64.deb | 19608788 | 2015-Jun-27 13:48 |
| acl2_8.0dfsg-1_amd64.deb | 19704384 | 2018-Jan-14 03:08 |
| acl2_8.2dfsg-3build1_amd64.deb | 21932904 | 2020-Mar-23 13:24 |
| acl2-books-source_8.4dfsg-2_all.deb | 22136204 | 2021-Dec-19 01:10 |
| acl2-books-source_8.5dfsg-5build3_all.deb | 23801362 | 2024-Apr-02 08:02 |
| acl2_6.3-5_i386.deb | 24013356 | 2013-Oct-24 16:36 |
| acl2-books-source_8.5dfsg-5_all.deb | 24014556 | 2023-Jan-17 02:29 |
| acl2_8.4dfsg-2_amd64.deb | 26133150 | 2021-Dec-19 01:10 |
| acl2_8.5dfsg-5build3_amd64.deb | 26854572 | 2024-Apr-02 08:03 |
| acl2_8.5dfsg-5_amd64.deb | 26950728 | 2023-Jan-17 02:29 |
| acl2_6.3-5_amd64.deb | 27878170 | 2013-Oct-24 16:36 |
| acl2-books_6.3-5_i386.deb | 37550284 | 2013-Oct-24 16:36 |
| acl2-books_6.3-5_amd64.deb | 42067578 | 2013-Oct-24 16:36 |
| acl2_7.1.orig.tar.gz | 63342334 | 2015-Jun-01 23:24 |
| acl2-books-certs_8.2dfsg-3build1_all.deb | 68979892 | 2020-Mar-23 13:24 |
| acl2-books-certs_8.0dfsg-1_all.deb | 73403184 | 2018-Jan-14 03:08 |
| acl2_8.0dfsg.orig.tar.gz | 77635571 | 2018-Jan-13 23:08 |
| acl2_8.2dfsg.orig.tar.gz | 80652725 | 2019-Dec-19 23:13 |
| acl2-books_8.0dfsg-1_i386.deb | 119603224 | 2018-Jan-14 04:49 |
| acl2-books_8.0dfsg-1_amd64.deb | 138083420 | 2018-Jan-14 03:08 |
| acl2-books_8.2dfsg-3build1_amd64.deb | 171294740 | 2020-Mar-23 13:24 |
| acl2_8.4dfsg.orig.tar.gz | 202991839 | 2021-Oct-28 23:18 |
| acl2_8.5dfsg.orig.tar.gz | 223546594 | 2022-Jul-27 23:33 |
| acl2-books-certs_8.5dfsg-5build3_all.deb | 226234436 | 2024-Apr-02 08:03 |
| acl2-books-certs_8.5dfsg-5_all.deb | 226698028 | 2023-Jan-17 02:29 |
| acl2-books-certs_8.4dfsg-2_all.deb | 231831222 | 2021-Dec-19 01:10 |
| acl2-books_8.5dfsg-5_amd64.deb | 345315474 | 2023-Jan-17 02:29 |
| acl2-books_8.5dfsg-5build3_amd64.deb | 346555008 | 2024-Apr-02 08:03 |
| acl2-books_8.4dfsg-2_amd64.deb | 353947352 | 2021-Dec-19 01:09 |