| Parent directory/ | - | - |
| acl2-infix_8.4dfsg-2_amd64.deb | 564006 | 2021-Dec-19 01:09 |
| elpa-acl2_8.4dfsg-2_all.deb | 70790 | 2021-Dec-19 01:09 |
| acl2-doc_8.4dfsg-2_all.deb | 451656 | 2021-Dec-19 01:09 |
| acl2-books_8.4dfsg-2_amd64.deb | 353947352 | 2021-Dec-19 01:09 |
| acl2-source_8.4dfsg-2_all.deb | 3536828 | 2021-Dec-19 01:10 |
| acl2-books-certs_8.4dfsg-2_all.deb | 231831222 | 2021-Dec-19 01:10 |
| acl2_8.4dfsg-2_amd64.deb | 26133150 | 2021-Dec-19 01:10 |
| acl2-books-source_8.4dfsg-2_all.deb | 22136204 | 2021-Dec-19 01:10 |
| acl2-infix-source_8.4dfsg-2_all.deb | 73680 | 2021-Dec-19 01:10 |
| acl2-source_8.5dfsg-5build3_all.deb | 3652452 | 2024-Apr-02 08:02 |
| acl2-infix-source_8.5dfsg-5build3_all.deb | 74148 | 2024-Apr-02 08:02 |
| acl2-infix_8.5dfsg-5build3_amd64.deb | 551042 | 2024-Apr-02 08:02 |
| acl2-doc_8.5dfsg-5build3_all.deb | 485308 | 2024-Apr-02 08:02 |
| elpa-acl2_8.5dfsg-5build3_all.deb | 72432 | 2024-Apr-02 08:02 |
| acl2-books-source_8.5dfsg-5build3_all.deb | 23801362 | 2024-Apr-02 08:02 |
| acl2-books-certs_8.5dfsg-5build3_all.deb | 226234436 | 2024-Apr-02 08:03 |
| acl2_8.5dfsg-5build3_amd64.deb | 26854572 | 2024-Apr-02 08:03 |
| acl2-books_8.5dfsg-5build3_amd64.deb | 346555008 | 2024-Apr-02 08:03 |