| ⬆️Parent directory | — | — |
| 📦acl2-books-certs_6.3-5_all.deb | 11.2M | Thu Oct 24 2013 |
| 📦acl2-books-certs_7.1-1_all.deb | 12.6M | Sat Jun 27 2015 |
| 📦acl2-books-certs_8.0dfsg-1_all.deb | 70.1M | Sun Jan 14 2018 |
| 📦acl2-books-certs_8.2dfsg-3build1_all.deb | 65.8M | Mon Mar 23 2020 |
| 📦acl2-books-certs_8.4dfsg-2_all.deb | 222M | Sun Dec 19 2021 |
| 📦acl2-books-certs_8.5dfsg-5build3_all.deb | 216M | Tue Apr 02 2024 |
| 📦acl2-books-certs_8.5dfsg-6_all.deb | 78.7M | Mon Jul 29 2024 |
| 📦acl2-books-certs_8.6+dfsg-3_all.deb | 268M | Thu May 15 2025 |
| 📦acl2-books-certs_8.6+dfsg-3build1_all.deb | 268M | Wed Feb 04 2026 |
| 📦acl2-books-certs_8.7+dfsg-3_all.deb | 292M | Sat Jul 18 2026 |
| 📦acl2-books-source_6.3-5_all.deb | 9.13M | Thu Oct 24 2013 |
| 📦acl2-books-source_7.1-1_all.deb | 9.86M | Sat Jun 27 2015 |
| 📦acl2-books-source_8.0dfsg-1_all.deb | 11.9M | Sun Jan 14 2018 |
| 📦acl2-books-source_8.2dfsg-3build1_all.deb | 13.7M | Mon Mar 23 2020 |
| 📦acl2-books-source_8.4dfsg-2_all.deb | 21.2M | Sun Dec 19 2021 |
| 📦acl2-books-source_8.5dfsg-5build3_all.deb | 22.7M | Tue Apr 02 2024 |
| 📦acl2-books-source_8.5dfsg-6_all.deb | 22.8M | Mon Jul 29 2024 |
| 📦acl2-books-source_8.6+dfsg-3_all.deb | 26.4M | Thu May 15 2025 |
| 📦acl2-books-source_8.6+dfsg-3build1_all.deb | 26.5M | Wed Feb 04 2026 |
| 📦acl2-books-source_8.7+dfsg-3_all.deb | 28.5M | Sat Jul 18 2026 |
| 📦acl2-books_6.3-5_amd64.deb | 40.2M | Thu Oct 24 2013 |
| 📦acl2-books_6.3-5_i386.deb | 35.9M | Thu Oct 24 2013 |
| 📦acl2-books_7.1-1_amd64.deb | 18.8M | Sat Jun 27 2015 |
| 📦acl2-books_7.1-1_i386.deb | 17.8M | Tue Jun 02 2015 |
| 📦acl2-books_8.0dfsg-1_amd64.deb | 132M | Sun Jan 14 2018 |
| 📦acl2-books_8.0dfsg-1_i386.deb | 115M | Sun Jan 14 2018 |
| 📦acl2-books_8.2dfsg-3build1_amd64.deb | 164M | Mon Mar 23 2020 |
| 📦acl2-books_8.4dfsg-2_amd64.deb | 338M | Sun Dec 19 2021 |
| 📦acl2-books_8.5dfsg-5build3_amd64.deb | 331M | Tue Apr 02 2024 |
| 📦acl2-books_8.5dfsg-6_amd64.deb | 171M | Mon Jul 29 2024 |
| 📦acl2-books_8.6+dfsg-3_amd64.deb | 469M | Thu May 15 2025 |
| 📦acl2-books_8.6+dfsg-3build1_amd64.deb | 467M | Wed Feb 04 2026 |
| 📦acl2-books_8.7+dfsg-3_amd64.deb | 514M | Sat Jul 18 2026 |
| 📦acl2-doc_6.3-5_all.deb | 12.2M | Thu Oct 24 2013 |
| 📦acl2-doc_7.1-1_all.deb | 354K | Sat Jun 27 2015 |
| 📦acl2-doc_8.0dfsg-1_all.deb | 386K | Sun Jan 14 2018 |
| 📦acl2-doc_8.2dfsg-3build1_all.deb | 419K | Mon Mar 23 2020 |
| 📦acl2-doc_8.4dfsg-2_all.deb | 442K | Sun Dec 19 2021 |
| 📦acl2-doc_8.5dfsg-5build3_all.deb | 474K | Tue Apr 02 2024 |
| 📦acl2-doc_8.5dfsg-6_all.deb | 474K | Mon Jul 29 2024 |
| 📦acl2-doc_8.6+dfsg-3_all.deb | 517K | Thu May 15 2025 |
| 📦acl2-doc_8.6+dfsg-3build1_all.deb | 517K | Wed Feb 04 2026 |
| 📦acl2-doc_8.7+dfsg-3_all.deb | 537K | Sat Jul 18 2026 |
| 📦acl2-emacs_6.3-5_all.deb | 55K | Thu Oct 24 2013 |
| 📦acl2-emacs_7.1-1_all.deb | 55.2K | Sat Jun 27 2015 |
| 📦acl2-emacs_8.0dfsg-1_all.deb | 59K | Sun Jan 14 2018 |
| 📦acl2-emacs_8.2dfsg-3build1_all.deb | 59.2K | Mon Mar 23 2020 |
| 📦acl2-infix-source_6.3-5_all.deb | 86K | Thu Oct 24 2013 |
| 📦acl2-infix-source_7.1-1_all.deb | 70.4K | Sat Jun 27 2015 |
| 📦acl2-infix-source_8.0dfsg-1_all.deb | 70.3K | Sun Jan 14 2018 |
| 📦acl2-infix-source_8.2dfsg-3build1_all.deb | 70.3K | Mon Mar 23 2020 |
| 📦acl2-infix-source_8.4dfsg-2_all.deb | 72K | Sun Dec 19 2021 |
| 📦acl2-infix-source_8.5dfsg-5build3_all.deb | 72.5K | Tue Apr 02 2024 |
| 📦acl2-infix-source_8.5dfsg-6_all.deb | 72.3K | Mon Jul 29 2024 |
| 📦acl2-infix-source_8.6+dfsg-3_all.deb | 72.8K | Thu May 15 2025 |
| 📦acl2-infix-source_8.6+dfsg-3build1_all.deb | 72.9K | Wed Feb 04 2026 |
| 📦acl2-infix-source_8.7+dfsg-3_all.deb | 72K | Sat Jul 18 2026 |
| 📦acl2-infix_6.3-5_amd64.deb | 201K | Thu Oct 24 2013 |
| 📦acl2-infix_6.3-5_i386.deb | 190K | Thu Oct 24 2013 |
| 📦acl2-infix_7.1-1_amd64.deb | 141K | Sat Jun 27 2015 |
| 📦acl2-infix_7.1-1_i386.deb | 143K | Tue Jun 02 2015 |
| 📦acl2-infix_8.0dfsg-1_amd64.deb | 415K | Sun Jan 14 2018 |
| 📦acl2-infix_8.0dfsg-1_i386.deb | 382K | Sun Jan 14 2018 |
| 📦acl2-infix_8.2dfsg-3build1_amd64.deb | 470K | Mon Mar 23 2020 |
| 📦acl2-infix_8.4dfsg-2_amd64.deb | 551K | Sun Dec 19 2021 |
| 📦acl2-infix_8.5dfsg-5build3_amd64.deb | 539K | Tue Apr 02 2024 |
| 📦acl2-infix_8.5dfsg-6_amd64.deb | 534K | Mon Jul 29 2024 |
| 📦acl2-infix_8.6+dfsg-3_amd64.deb | 991K | Thu May 15 2025 |
| 📦acl2-infix_8.6+dfsg-3build1_amd64.deb | 977K | Wed Feb 04 2026 |
| 📦acl2-infix_8.7+dfsg-3_amd64.deb | 992K | Sat Jul 18 2026 |
| 📦acl2-source_6.3-5_all.deb | 3.62M | Thu Oct 24 2013 |
| 📦acl2-source_7.1-1_all.deb | 2.71M | Sat Jun 27 2015 |
| 📦acl2-source_8.0dfsg-1_all.deb | 2.94M | Sun Jan 14 2018 |
| 📦acl2-source_8.2dfsg-3build1_all.deb | 3.12M | Mon Mar 23 2020 |
| 📦acl2-source_8.4dfsg-2_all.deb | 3.38M | Sun Dec 19 2021 |
| 📦acl2-source_8.5dfsg-5build3_all.deb | 3.49M | Tue Apr 02 2024 |
| 📦acl2-source_8.5dfsg-6_all.deb | 3.48M | Mon Jul 29 2024 |
| 📦acl2-source_8.6+dfsg-3_all.deb | 3.88M | Thu May 15 2025 |
| 📦acl2-source_8.6+dfsg-3build1_all.deb | 3.88M | Wed Feb 04 2026 |
| 📦acl2-source_8.7+dfsg-3_all.deb | 3.95M | Sat Jul 18 2026 |
| 📦acl2_6.3-5.debian.tar.gz | 158K | Mon Oct 21 2013 |
| 📄acl2_6.3-5.dsc | 1.71K | Mon Oct 21 2013 |
| 📦acl2_6.3-5_amd64.deb | 26.6M | Thu Oct 24 2013 |
| 📦acl2_6.3-5_i386.deb | 23M | Thu Oct 24 2013 |
| 📦acl2_6.3.orig-books.tar.gz | 13M | Mon Oct 21 2013 |
| 📦acl2_6.3.orig.tar.gz | 6.75M | Mon Oct 21 2013 |
| 📦acl2_7.1-1.debian.tar.xz | 126K | Tue Jun 02 2015 |
| 📄acl2_7.1-1.dsc | 2.16K | Tue Jun 02 2015 |
| 📦acl2_7.1-1_amd64.deb | 16.5M | Sat Jun 27 2015 |
| 📦acl2_7.1-1_i386.deb | 15.8M | Tue Jun 02 2015 |
| 📦acl2_7.1.orig.tar.gz | 60.5M | Tue Jun 02 2015 |
| 📦acl2_8.0dfsg-1.debian.tar.xz | 200K | Sun Jan 14 2018 |
| 📄acl2_8.0dfsg-1.dsc | 2.2K | Sun Jan 14 2018 |
| 📦acl2_8.0dfsg-1_amd64.deb | 18.8M | Sun Jan 14 2018 |
| 📦acl2_8.0dfsg-1_i386.deb | 16.3M | Sun Jan 14 2018 |
| 📦acl2_8.0dfsg.orig.tar.gz | 74.1M | Sun Jan 14 2018 |
| 📦acl2_8.2dfsg-3build1.debian.tar.xz | 202K | Mon Mar 23 2020 |
| 📄acl2_8.2dfsg-3build1.dsc | 2.25K | Mon Mar 23 2020 |
| 📦acl2_8.2dfsg-3build1_amd64.deb | 21M | Mon Mar 23 2020 |
| 📦acl2_8.2dfsg.orig.tar.gz | 77M | Fri Dec 20 2019 |
| 📦acl2_8.4dfsg-2.debian.tar.xz | 305K | Tue Nov 02 2021 |
| 📄acl2_8.4dfsg-2.dsc | 2.23K | Tue Nov 02 2021 |
| 📦acl2_8.4dfsg-2_amd64.deb | 25M | Sun Dec 19 2021 |
| 📦acl2_8.4dfsg.orig.tar.gz | 194M | Fri Oct 29 2021 |
| 📦acl2_8.5dfsg-5build3.debian.tar.xz | 306K | Mon Apr 01 2024 |
| 📄acl2_8.5dfsg-5build3.dsc | 2.32K | Mon Apr 01 2024 |
| 📦acl2_8.5dfsg-5build3_amd64.deb | 25.7M | Tue Apr 02 2024 |
| 📦acl2_8.5dfsg-6.debian.tar.xz | 306K | Mon Jul 29 2024 |
| 📄acl2_8.5dfsg-6.dsc | 2.22K | Mon Jul 29 2024 |
| 📦acl2_8.5dfsg-6_amd64.deb | 25.3M | Mon Jul 29 2024 |
| 📦acl2_8.5dfsg.orig.tar.gz | 214M | Thu Jul 28 2022 |
| 📦acl2_8.6+dfsg-3.debian.tar.xz | 695K | Thu May 15 2025 |
| 📄acl2_8.6+dfsg-3.dsc | 2.24K | Thu May 15 2025 |
| 📦acl2_8.6+dfsg-3_amd64.deb | 45.4M | Thu May 15 2025 |
| 📦acl2_8.6+dfsg-3build1.debian.tar.xz | 695K | Wed Feb 04 2026 |
| 📄acl2_8.6+dfsg-3build1.dsc | 2.26K | Wed Feb 04 2026 |
| 📦acl2_8.6+dfsg-3build1_amd64.deb | 46.7M | Wed Feb 04 2026 |
| 📦acl2_8.6+dfsg.orig.tar.gz | 230M | Thu May 01 2025 |
| 📦acl2_8.7+dfsg-3.debian.tar.xz | 881K | Sat Jul 18 2026 |
| 📄acl2_8.7+dfsg-3.dsc | 2.24K | Sat Jul 18 2026 |
| 📦acl2_8.7+dfsg-3_amd64.deb | 44.4M | Sat Jul 18 2026 |
| 📦acl2_8.7+dfsg.orig.tar.gz | 239M | Thu Jun 18 2026 |
| 📦elpa-acl2_8.4dfsg-2_all.deb | 69.2K | Sun Dec 19 2021 |
| 📦elpa-acl2_8.5dfsg-5build3_all.deb | 70.8K | Tue Apr 02 2024 |
| 📦elpa-acl2_8.5dfsg-6_all.deb | 70.9K | Mon Jul 29 2024 |
| 📦elpa-acl2_8.6+dfsg-3_all.deb | 78.7K | Thu May 15 2025 |
| 📦elpa-acl2_8.6+dfsg-3build1_all.deb | 78.8K | Wed Feb 04 2026 |
| 📦elpa-acl2_8.7+dfsg-3_all.deb | 77.7K | Sat Jul 18 2026 |