| - | acl2-books-certs_8.6+dfsg-2_all.deb | 221620564 | deb | 2025-04-27 19:56:16 |
| - | acl2-books-source_8.6+dfsg-2_all.deb | 27502672 | deb | 2025-04-27 19:56:16 |
| - | acl2-books_8.6+dfsg-2_amd64.deb | 435743480 | deb | 2025-04-27 19:40:58 |
| - | acl2-books_8.6+dfsg-2_i386.deb | 360999248 | deb | 2025-04-27 19:25:16 |
| - | acl2-doc_8.6+dfsg-2_all.deb | 524912 | deb | 2025-04-27 19:56:16 |
| - | acl2-infix-source_8.6+dfsg-2_all.deb | 72652 | deb | 2025-04-27 19:56:16 |
| - | acl2-infix_8.6+dfsg-2_amd64.deb | 886800 | deb | 2025-04-27 19:40:58 |
| - | acl2-infix_8.6+dfsg-2_i386.deb | 872680 | deb | 2025-04-27 19:25:16 |
| - | acl2-source_8.6+dfsg-2_all.deb | 3996788 | deb | 2025-04-27 19:56:16 |
| - | acl2_8.6+dfsg-2.debian.tar.xz | 445128 | xz | 2025-04-27 12:54:28 |
| - | acl2_8.6+dfsg-2.dsc | 2286 | dsc | 2025-04-27 12:54:28 |
| - | acl2_8.6+dfsg-2_amd64.deb | 36900528 | deb | 2025-04-27 19:40:58 |
| - | acl2_8.6+dfsg-2_i386.deb | 40681708 | deb | 2025-04-27 19:25:16 |
| - | acl2_8.6+dfsg.orig.tar.gz | 240329345 | gz | 2025-04-26 21:21:59 |
| - | elpa-acl2_8.6+dfsg-2_all.deb | 78264 | deb | 2025-04-27 19:56:16 |