| Parent Directory/ | | - | Directory |
| acl2-books-certs_8.7+dfsg-3_all.deb | 2026-Jul-17 23:29:22 | 232.5M | application/octet-stream |
| acl2-books-source_8.7+dfsg-3_all.deb | 2026-Jul-17 23:29:22 | 28.3M | application/octet-stream |
| acl2-books_8.7+dfsg-3_amd64.deb | 2026-Jul-17 23:19:09 | 456.6M | application/octet-stream |
| acl2-books_8.7+dfsg-3_arm64.deb | 2026-Jul-17 22:32:00 | 448.4M | application/octet-stream |
| acl2-books_8.7+dfsg-3_armhf.deb | 2026-Jul-18 00:27:44 | 434.6M | application/octet-stream |
| acl2-books_8.7+dfsg-3_i386.deb | 2026-Jul-18 03:20:23 | 397.5M | application/octet-stream |
| acl2-doc_8.7+dfsg-3_all.deb | 2026-Jul-17 23:29:22 | 533.3K | application/octet-stream |
| acl2-infix-source_8.7+dfsg-3_all.deb | 2026-Jul-17 23:29:22 | 70.2K | application/octet-stream |
| acl2-infix_8.7+dfsg-3_amd64.deb | 2026-Jul-17 23:19:09 | 875.6K | application/octet-stream |
| acl2-infix_8.7+dfsg-3_arm64.deb | 2026-Jul-17 22:32:00 | 843.8K | application/octet-stream |
| acl2-infix_8.7+dfsg-3_armhf.deb | 2026-Jul-18 00:27:44 | 869.5K | application/octet-stream |
| acl2-infix_8.7+dfsg-3_i386.deb | 2026-Jul-18 03:20:23 | 863.5K | application/octet-stream |
| acl2-source_8.7+dfsg-3_all.deb | 2026-Jul-17 23:29:22 | 3.9M | application/octet-stream |
| acl2_8.7+dfsg-3.debian.tar.xz | 2026-Jul-17 17:14:11 | 880.8K | application/octet-stream |
| acl2_8.7+dfsg-3.dsc | 2026-Jul-17 17:14:11 | 2.2K | application/octet-stream |
| acl2_8.7+dfsg-3_amd64.deb | 2026-Jul-17 23:19:09 | 34.2M | application/octet-stream |
| acl2_8.7+dfsg-3_arm64.deb | 2026-Jul-17 22:32:00 | 31.0M | application/octet-stream |
| acl2_8.7+dfsg-3_armhf.deb | 2026-Jul-18 00:27:44 | 33.2M | application/octet-stream |
| acl2_8.7+dfsg-3_i386.deb | 2026-Jul-18 03:20:23 | 35.1M | application/octet-stream |
| acl2_8.7+dfsg.orig.tar.gz | 2026-Jun-17 10:01:39 | 238.2M | application/x-gzip |
| elpa-acl2_8.7+dfsg-3_all.deb | 2026-Jul-17 23:29:22 | 75.7K | application/octet-stream |