| ⬆️Parent directory | — | — |
| 📦acl2-books-certs_8.3dfsg-2_all.deb | 139M | Thu Jan 28 2021 |
| 📦acl2-books-certs_8.5dfsg-5_all.deb | 171M | Mon Jan 16 2023 |
| 📦acl2-books-certs_8.6+dfsg-2_all.deb | 212M | Mon Apr 28 2025 |
| 📦acl2-books-certs_8.7+dfsg-3_all.deb | 233M | Sat Jul 18 2026 |
| 📦acl2-books-source_8.3dfsg-2_all.deb | 18.7M | Thu Jan 28 2021 |
| 📦acl2-books-source_8.5dfsg-5_all.deb | 23.6M | Mon Jan 16 2023 |
| 📦acl2-books-source_8.6+dfsg-2_all.deb | 26.3M | Mon Apr 28 2025 |
| 📦acl2-books-source_8.7+dfsg-3_all.deb | 28.4M | Sat Jul 18 2026 |
| 📦acl2-books_8.3dfsg-2_amd64.deb | 242M | Thu Jan 28 2021 |
| 📦acl2-books_8.3dfsg-2_i386.deb | 204M | Thu Jan 28 2021 |
| 📦acl2-books_8.5dfsg-5_amd64.deb | 287M | Tue Jan 17 2023 |
| 📦acl2-books_8.5dfsg-5_i386.deb | 248M | Mon Jan 16 2023 |
| 📦acl2-books_8.6+dfsg-2_amd64.deb | 416M | Mon Apr 28 2025 |
| 📦acl2-books_8.6+dfsg-2_i386.deb | 345M | Mon Apr 28 2025 |
| 📦acl2-books_8.7+dfsg-3_amd64.deb | 457M | Sat Jul 18 2026 |
| 📦acl2-books_8.7+dfsg-3_i386.deb | 398M | Sat Jul 18 2026 |
| 📦acl2-doc_8.3dfsg-2_all.deb | 438K | Thu Jan 28 2021 |
| 📦acl2-doc_8.5dfsg-5_all.deb | 471K | Mon Jan 16 2023 |
| 📦acl2-doc_8.6+dfsg-2_all.deb | 513K | Mon Apr 28 2025 |
| 📦acl2-doc_8.7+dfsg-3_all.deb | 534K | Sat Jul 18 2026 |
| 📦acl2-emacs_8.3dfsg-2_all.deb | 67.8K | Thu Jan 28 2021 |
| 📦acl2-infix-source_8.3dfsg-2_all.deb | 78.1K | Thu Jan 28 2021 |
| 📦acl2-infix-source_8.5dfsg-5_all.deb | 70.7K | Mon Jan 16 2023 |
| 📦acl2-infix-source_8.6+dfsg-2_all.deb | 71K | Mon Apr 28 2025 |
| 📦acl2-infix-source_8.7+dfsg-3_all.deb | 70.3K | Sat Jul 18 2026 |
| 📦acl2-infix_8.3dfsg-2_amd64.deb | 479K | Thu Jan 28 2021 |
| 📦acl2-infix_8.3dfsg-2_i386.deb | 485K | Thu Jan 28 2021 |
| 📦acl2-infix_8.5dfsg-5_amd64.deb | 465K | Tue Jan 17 2023 |
| 📦acl2-infix_8.5dfsg-5_i386.deb | 478K | Mon Jan 16 2023 |
| 📦acl2-infix_8.6+dfsg-2_amd64.deb | 867K | Mon Apr 28 2025 |
| 📦acl2-infix_8.6+dfsg-2_i386.deb | 853K | Mon Apr 28 2025 |
| 📦acl2-infix_8.7+dfsg-3_amd64.deb | 876K | Sat Jul 18 2026 |
| 📦acl2-infix_8.7+dfsg-3_i386.deb | 864K | Sat Jul 18 2026 |
| 📦acl2-source_8.3dfsg-2_all.deb | 3.19M | Thu Jan 28 2021 |
| 📦acl2-source_8.5dfsg-5_all.deb | 3.43M | Mon Jan 16 2023 |
| 📦acl2-source_8.6+dfsg-2_all.deb | 3.82M | Mon Apr 28 2025 |
| 📦acl2-source_8.7+dfsg-3_all.deb | 3.89M | Sat Jul 18 2026 |
| 📦acl2_8.3dfsg-2.debian.tar.xz | 223K | Wed Jan 27 2021 |
| 📄acl2_8.3dfsg-2.dsc | 2.23K | Wed Jan 27 2021 |
| 📦acl2_8.3dfsg-2_amd64.deb | 20.5M | Thu Jan 28 2021 |
| 📦acl2_8.3dfsg-2_i386.deb | 18.6M | Thu Jan 28 2021 |
| 📦acl2_8.3dfsg.orig.tar.gz | 112M | Mon Aug 24 2020 |
| 📦acl2_8.5dfsg-5.debian.tar.xz | 306K | Mon Jan 16 2023 |
| 📄acl2_8.5dfsg-5.dsc | 2.22K | Mon Jan 16 2023 |
| 📦acl2_8.5dfsg-5_amd64.deb | 22.4M | Tue Jan 17 2023 |
| 📦acl2_8.5dfsg-5_i386.deb | 19.5M | Mon Jan 16 2023 |
| 📦acl2_8.5dfsg.orig.tar.gz | 214M | Wed Jul 27 2022 |
| 📦acl2_8.6+dfsg-2.debian.tar.xz | 435K | Sun Apr 27 2025 |
| 📄acl2_8.6+dfsg-2.dsc | 2.24K | Sun Apr 27 2025 |
| 📦acl2_8.6+dfsg-2_amd64.deb | 35.2M | Mon Apr 28 2025 |
| 📦acl2_8.6+dfsg-2_i386.deb | 38.8M | Mon Apr 28 2025 |
| 📦acl2_8.6+dfsg.orig.tar.gz | 230M | Sun Apr 27 2025 |
| 📦acl2_8.7+dfsg-3.debian.tar.xz | 881K | Fri Jul 17 2026 |
| 📄acl2_8.7+dfsg-3.dsc | 2.24K | Fri Jul 17 2026 |
| 📦acl2_8.7+dfsg-3_amd64.deb | 34.3M | Sat Jul 18 2026 |
| 📦acl2_8.7+dfsg-3_i386.deb | 35.2M | Sat Jul 18 2026 |
| 📦acl2_8.7+dfsg.orig.tar.gz | 239M | Wed Jun 17 2026 |
| 📦elpa-acl2_8.5dfsg-5_all.deb | 69K | Mon Jan 16 2023 |
| 📦elpa-acl2_8.6+dfsg-2_all.deb | 76.5K | Mon Apr 28 2025 |
| 📦elpa-acl2_8.7+dfsg-3_all.deb | 75.8K | Sat Jul 18 2026 |