| Parent directory/ | - | - |
| acl2-books-certs_8.2dfsg-3_all.deb | 68990468 | 2020-May-12 09:28 |
| acl2-books-source_8.2dfsg-3_all.deb | 14298228 | 2020-May-12 09:28 |
| acl2-books_8.2dfsg-3_amd64.deb | 171742700 | 2020-May-12 09:28 |
| acl2-doc_8.2dfsg-3_all.deb | 432776 | 2020-May-12 09:28 |
| acl2-emacs_8.2dfsg-3_all.deb | 68308 | 2020-May-12 09:28 |
| acl2-infix-source_8.2dfsg-3_all.deb | 79644 | 2020-May-12 09:28 |
| acl2-infix_8.2dfsg-3_amd64.deb | 491232 | 2020-May-12 09:28 |
| acl2-source_8.2dfsg-3_all.deb | 3276396 | 2020-May-12 09:28 |
| acl2_8.2dfsg-3_amd64.deb | 21973360 | 2020-May-12 09:28 |