| Parent Directory/ | | - | Directory |
| acl2-books-certs_8.6+dfsg-3_all.deb | 2025-May-14 22:24:46 | 211.6M | application/octet-stream |
| acl2-books-source_8.6+dfsg-3_all.deb | 2025-May-14 22:24:46 | 26.2M | application/octet-stream |
| acl2-books_8.6+dfsg-3_amd64.deb | 2025-May-14 22:40:10 | 415.5M | application/octet-stream |
| acl2-books_8.6+dfsg-3_arm64.deb | 2025-May-15 15:47:48 | 412.5M | application/octet-stream |
| acl2-books_8.6+dfsg-3_armhf.deb | 2025-May-15 00:17:23 | 394.6M | application/octet-stream |
| acl2-books_8.6+dfsg-3_i386.deb | 2025-May-15 00:27:34 | 344.3M | application/octet-stream |
| acl2-doc_8.6+dfsg-3_all.deb | 2025-May-14 22:24:46 | 512.8K | application/octet-stream |
| acl2-infix-source_8.6+dfsg-3_all.deb | 2025-May-14 22:24:46 | 71.1K | application/octet-stream |
| acl2-infix_8.6+dfsg-3_amd64.deb | 2025-May-14 22:40:10 | 864.8K | application/octet-stream |
| acl2-infix_8.6+dfsg-3_arm64.deb | 2025-May-15 15:47:48 | 833.5K | application/octet-stream |
| acl2-infix_8.6+dfsg-3_armhf.deb | 2025-May-15 00:17:23 | 846.4K | application/octet-stream |
| acl2-infix_8.6+dfsg-3_i386.deb | 2025-May-15 00:27:34 | 852.5K | application/octet-stream |
| acl2-source_8.6+dfsg-3_all.deb | 2025-May-14 22:24:46 | 3.8M | application/octet-stream |
| acl2_8.6+dfsg-3.debian.tar.xz | 2025-May-14 16:10:11 | 694.5K | application/octet-stream |
| acl2_8.6+dfsg-3.dsc | 2025-May-14 16:10:11 | 2.2K | application/octet-stream |
| acl2_8.6+dfsg-3_amd64.deb | 2025-May-14 22:40:10 | 35.4M | application/octet-stream |
| acl2_8.6+dfsg-3_arm64.deb | 2025-May-15 15:47:48 | 36.4M | application/octet-stream |
| acl2_8.6+dfsg-3_armhf.deb | 2025-May-15 00:17:23 | 38.2M | application/octet-stream |
| acl2_8.6+dfsg-3_i386.deb | 2025-May-15 00:27:34 | 39.1M | application/octet-stream |
| acl2_8.6+dfsg.orig.tar.gz | 2025-Apr-26 23:21:59 | 229.2M | application/x-gzip |
| elpa-acl2_8.6+dfsg-3_all.deb | 2025-May-14 22:24:46 | 76.6K | application/octet-stream |