| ../ | | - | Directory |
| acl2-books-certs_8.6+dfsg-3_all.deb | 2025-May-15 05:24:46 | 211.6M | application/vnd.debian.binary-package |
| acl2-books-source_8.6+dfsg-3_all.deb | 2025-May-15 05:24:46 | 26.2M | application/vnd.debian.binary-package |
| acl2-books_8.6+dfsg-3+b1_arm64.deb | 2026-Jan-20 14:36:31 | 409.8M | application/vnd.debian.binary-package |
| acl2-books_8.6+dfsg-3_amd64.deb | 2025-May-15 05:40:10 | 415.5M | application/vnd.debian.binary-package |
| acl2-books_8.6+dfsg-3_arm64.deb | 2025-May-15 22:47:48 | 412.5M | application/vnd.debian.binary-package |
| acl2-books_8.6+dfsg-3_armhf.deb | 2025-May-15 07:17:23 | 394.6M | application/vnd.debian.binary-package |
| acl2-books_8.6+dfsg-3_i386.deb | 2025-May-15 07:27:34 | 344.3M | application/vnd.debian.binary-package |
| acl2-doc_8.6+dfsg-3_all.deb | 2025-May-15 05:24:46 | 512.8K | application/vnd.debian.binary-package |
| acl2-infix-source_8.6+dfsg-3_all.deb | 2025-May-15 05:24:46 | 71.1K | application/vnd.debian.binary-package |
| acl2-infix_8.6+dfsg-3+b1_arm64.deb | 2026-Jan-20 14:36:31 | 825.7K | application/vnd.debian.binary-package |
| acl2-infix_8.6+dfsg-3_amd64.deb | 2025-May-15 05:40:10 | 864.8K | application/vnd.debian.binary-package |
| acl2-infix_8.6+dfsg-3_arm64.deb | 2025-May-15 22:47:48 | 833.5K | application/vnd.debian.binary-package |
| acl2-infix_8.6+dfsg-3_armhf.deb | 2025-May-15 07:17:23 | 846.4K | application/vnd.debian.binary-package |
| acl2-infix_8.6+dfsg-3_i386.deb | 2025-May-15 07:27:34 | 852.5K | application/vnd.debian.binary-package |
| acl2-source_8.6+dfsg-3_all.deb | 2025-May-15 05:24:46 | 3.8M | application/vnd.debian.binary-package |
| acl2_8.6+dfsg-3+b1_arm64.deb | 2026-Jan-20 14:36:31 | 35.0M | application/vnd.debian.binary-package |
| acl2_8.6+dfsg-3.debian.tar.xz | 2025-May-14 23:10:11 | 694.5K | application/x-xz |
| acl2_8.6+dfsg-3.dsc | 2025-May-14 23:10:11 | 2.2K | application/octet-stream |
| acl2_8.6+dfsg-3_amd64.deb | 2025-May-15 05:40:10 | 35.4M | application/vnd.debian.binary-package |
| acl2_8.6+dfsg-3_arm64.deb | 2025-May-15 22:47:48 | 36.4M | application/vnd.debian.binary-package |
| acl2_8.6+dfsg-3_armhf.deb | 2025-May-15 07:17:23 | 38.2M | application/vnd.debian.binary-package |
| acl2_8.6+dfsg-3_i386.deb | 2025-May-15 07:27:34 | 39.1M | application/vnd.debian.binary-package |
| acl2_8.6+dfsg.orig.tar.gz | 2025-Apr-27 06:21:59 | 229.2M | application/x-gtar-compressed |
| elpa-acl2_8.6+dfsg-3_all.deb | 2025-May-15 05:24:46 | 76.6K | application/vnd.debian.binary-package |