| Parent Directory | - | - | - |
| acl2-books-certs_8.3dfsg-2_all.deb | 28-Jan-2021 02:25 | 139M | - |
| acl2-books-certs_8.5dfsg-5_all.deb | 16-Jan-2023 14:55 | 170M | - |
| acl2-books-certs_8.6+dfsg-2_all.deb | 27-Apr-2025 19:56 | 211M | - |
| acl2-books-certs_8.7+dfsg-3_all.deb | 17-Jul-2026 21:29 | 233M | - |
| acl2-books-source_8.3dfsg-2_all.deb | 28-Jan-2021 02:25 | 19M | - |
| acl2-books-source_8.5dfsg-5_all.deb | 16-Jan-2023 14:55 | 24M | - |
| acl2-books-source_8.6+dfsg-2_all.deb | 27-Apr-2025 19:56 | 26M | - |
| acl2-books-source_8.7+dfsg-3_all.deb | 17-Jul-2026 21:29 | 28M | - |
| acl2-books_8.3dfsg-2_amd64.deb | 27-Jan-2021 21:57 | 241M | - |
| acl2-books_8.3dfsg-2_arm64.deb | 28-Jan-2021 15:43 | 236M | - |
| acl2-books_8.3dfsg-2_armhf.deb | 28-Jan-2021 06:42 | 223M | - |
| acl2-books_8.3dfsg-2_i386.deb | 27-Jan-2021 22:22 | 204M | - |
| acl2-books_8.5dfsg-5_amd64.deb | 16-Jan-2023 20:15 | 287M | - |
| acl2-books_8.5dfsg-5_arm64.deb | 17-Jan-2023 21:13 | 289M | - |
| acl2-books_8.5dfsg-5_armel.deb | 17-Jan-2023 19:26 | 268M | - |
| acl2-books_8.5dfsg-5_armhf.deb | 17-Jan-2023 11:32 | 272M | - |
| acl2-books_8.5dfsg-5_i386.deb | 16-Jan-2023 15:16 | 248M | - |
| acl2-books_8.5dfsg-5_mips64el.deb | 23-Jan-2023 12:58 | 309M | - |
| acl2-books_8.5dfsg-5_mipsel.deb | 22-Jan-2023 00:30 | 285M | - |
| acl2-books_8.5dfsg-5_ppc64el.deb | 18-Jan-2023 20:10 | 292M | - |
| acl2-books_8.5dfsg-5_s390x.deb | 16-Jan-2023 14:30 | 267M | - |
| acl2-books_8.6+dfsg-2_amd64.deb | 27-Apr-2025 19:40 | 416M | - |
| acl2-books_8.6+dfsg-2_arm64.deb | 27-Apr-2025 19:56 | 412M | - |
| acl2-books_8.6+dfsg-2_armel.deb | 27-Apr-2025 21:17 | 386M | - |
| acl2-books_8.6+dfsg-2_armhf.deb | 28-Apr-2025 17:17 | 395M | - |
| acl2-books_8.6+dfsg-2_i386.deb | 27-Apr-2025 19:25 | 344M | - |
| acl2-books_8.6+dfsg-2_ppc64el.deb | 27-Apr-2025 19:30 | 430M | - |
| acl2-books_8.6+dfsg-2_riscv64.deb | 02-May-2025 01:29 | 936M | - |
| acl2-books_8.6+dfsg-2_s390x.deb | 28-Apr-2025 03:56 | 417M | - |
| acl2-books_8.7+dfsg-3_amd64.deb | 17-Jul-2026 21:19 | 457M | - |
| acl2-books_8.7+dfsg-3_arm64.deb | 17-Jul-2026 20:32 | 448M | - |
| acl2-books_8.7+dfsg-3_armhf.deb | 17-Jul-2026 22:27 | 435M | - |
| acl2-books_8.7+dfsg-3_i386.deb | 18-Jul-2026 01:20 | 398M | - |
| acl2-books_8.7+dfsg-3_loong64.deb | 18-Jul-2026 07:23 | 591M | - |
| acl2-books_8.7+dfsg-3_ppc64el.deb | 17-Jul-2026 21:57 | 487M | - |
| acl2-books_8.7+dfsg-3_riscv64.deb | 23-Jul-2026 16:58 | 1G | - |
| acl2-books_8.7+dfsg-3_s390x.deb | 18-Jul-2026 02:20 | 459M | - |
| acl2-doc_8.3dfsg-2_all.deb | 28-Jan-2021 02:25 | 437K | - |
| acl2-doc_8.5dfsg-5_all.deb | 16-Jan-2023 14:55 | 470K | - |
| acl2-doc_8.6+dfsg-2_all.deb | 27-Apr-2025 19:56 | 513K | - |
| acl2-doc_8.7+dfsg-3_all.deb | 17-Jul-2026 21:29 | 533K | - |
| acl2-emacs_8.3dfsg-2_all.deb | 28-Jan-2021 02:25 | 68K | - |
| acl2-infix-source_8.3dfsg-2_all.deb | 28-Jan-2021 02:25 | 78K | - |
| acl2-infix-source_8.5dfsg-5_all.deb | 16-Jan-2023 14:55 | 71K | - |
| acl2-infix-source_8.6+dfsg-2_all.deb | 27-Apr-2025 19:56 | 71K | - |
| acl2-infix-source_8.7+dfsg-3_all.deb | 17-Jul-2026 21:29 | 70K | - |
| acl2-infix_8.3dfsg-2_amd64.deb | 27-Jan-2021 21:57 | 479K | - |
| acl2-infix_8.3dfsg-2_arm64.deb | 28-Jan-2021 15:43 | 469K | - |
| acl2-infix_8.3dfsg-2_armhf.deb | 28-Jan-2021 06:42 | 478K | - |
| acl2-infix_8.3dfsg-2_i386.deb | 27-Jan-2021 22:22 | 485K | - |
| acl2-infix_8.5dfsg-5_amd64.deb | 16-Jan-2023 20:15 | 464K | - |
| acl2-infix_8.5dfsg-5_arm64.deb | 17-Jan-2023 21:13 | 461K | - |
| acl2-infix_8.5dfsg-5_armel.deb | 17-Jan-2023 19:26 | 459K | - |
| acl2-infix_8.5dfsg-5_armhf.deb | 17-Jan-2023 11:32 | 472K | - |
| acl2-infix_8.5dfsg-5_i386.deb | 16-Jan-2023 15:16 | 477K | - |
| acl2-infix_8.5dfsg-5_mips64el.deb | 23-Jan-2023 12:58 | 491K | - |
| acl2-infix_8.5dfsg-5_mipsel.deb | 22-Jan-2023 00:30 | 503K | - |
| acl2-infix_8.5dfsg-5_ppc64el.deb | 18-Jan-2023 20:10 | 483K | - |
| acl2-infix_8.5dfsg-5_s390x.deb | 16-Jan-2023 14:30 | 432K | - |
| acl2-infix_8.6+dfsg-2_amd64.deb | 27-Apr-2025 19:40 | 866K | - |
| acl2-infix_8.6+dfsg-2_arm64.deb | 27-Apr-2025 19:56 | 834K | - |
| acl2-infix_8.6+dfsg-2_armel.deb | 27-Apr-2025 21:17 | 815K | - |
| acl2-infix_8.6+dfsg-2_armhf.deb | 28-Apr-2025 17:17 | 846K | - |
| acl2-infix_8.6+dfsg-2_i386.deb | 27-Apr-2025 19:25 | 852K | - |
| acl2-infix_8.6+dfsg-2_ppc64el.deb | 27-Apr-2025 19:30 | 885K | - |
| acl2-infix_8.6+dfsg-2_riscv64.deb | 02-May-2025 01:29 | 2M | - |
| acl2-infix_8.6+dfsg-2_s390x.deb | 28-Apr-2025 03:56 | 864K | - |
| acl2-infix_8.7+dfsg-3_amd64.deb | 17-Jul-2026 21:19 | 876K | - |
| acl2-infix_8.7+dfsg-3_arm64.deb | 17-Jul-2026 20:32 | 844K | - |
| acl2-infix_8.7+dfsg-3_armhf.deb | 17-Jul-2026 22:27 | 870K | - |
| acl2-infix_8.7+dfsg-3_i386.deb | 18-Jul-2026 01:20 | 864K | - |
| acl2-infix_8.7+dfsg-3_loong64.deb | 18-Jul-2026 07:23 | 1M | - |
| acl2-infix_8.7+dfsg-3_ppc64el.deb | 17-Jul-2026 21:57 | 905K | - |
| acl2-infix_8.7+dfsg-3_riscv64.deb | 23-Jul-2026 16:58 | 2M | - |
| acl2-infix_8.7+dfsg-3_s390x.deb | 18-Jul-2026 02:20 | 879K | - |
| acl2-source_8.3dfsg-2_all.deb | 28-Jan-2021 02:25 | 3M | - |
| acl2-source_8.5dfsg-5_all.deb | 16-Jan-2023 14:55 | 3M | - |
| acl2-source_8.6+dfsg-2_all.deb | 27-Apr-2025 19:56 | 4M | - |
| acl2-source_8.7+dfsg-3_all.deb | 17-Jul-2026 21:29 | 4M | - |
| acl2_8.3dfsg-2.debian.tar.xz | 27-Jan-2021 14:34 | 223K | - |
| acl2_8.3dfsg-2.dsc | 27-Jan-2021 14:34 | 2275 | - |
| acl2_8.3dfsg-2_amd64.deb | 27-Jan-2021 21:57 | 20M | - |
| acl2_8.3dfsg-2_arm64.deb | 28-Jan-2021 15:43 | 19M | - |
| acl2_8.3dfsg-2_armhf.deb | 28-Jan-2021 06:42 | 18M | - |
| acl2_8.3dfsg-2_i386.deb | 27-Jan-2021 22:22 | 19M | - |
| acl2_8.3dfsg.orig.tar.gz | 24-Aug-2020 02:39 | 112M | - |
| acl2_8.5dfsg-5.debian.tar.xz | 16-Jan-2023 02:00 | 306K | - |
| acl2_8.5dfsg-5.dsc | 16-Jan-2023 02:00 | 2268 | - |
| acl2_8.5dfsg-5_amd64.deb | 16-Jan-2023 20:15 | 22M | - |
| acl2_8.5dfsg-5_arm64.deb | 17-Jan-2023 21:13 | 21M | - |
| acl2_8.5dfsg-5_armel.deb | 17-Jan-2023 19:26 | 18M | - |
| acl2_8.5dfsg-5_armhf.deb | 17-Jan-2023 11:32 | 19M | - |
| acl2_8.5dfsg-5_i386.deb | 16-Jan-2023 15:16 | 19M | - |
| acl2_8.5dfsg-5_mips64el.deb | 23-Jan-2023 12:58 | 20M | - |
| acl2_8.5dfsg-5_mipsel.deb | 22-Jan-2023 00:30 | 19M | - |
| acl2_8.5dfsg-5_ppc64el.deb | 18-Jan-2023 20:10 | 22M | - |
| acl2_8.5dfsg-5_s390x.deb | 16-Jan-2023 14:30 | 21M | - |
| acl2_8.5dfsg.orig.tar.gz | 27-Jul-2022 14:13 | 213M | - |
| acl2_8.6+dfsg-2.debian.tar.xz | 27-Apr-2025 12:54 | 435K | - |
| acl2_8.6+dfsg-2.dsc | 27-Apr-2025 12:54 | 2286 | - |
| acl2_8.6+dfsg-2_amd64.deb | 27-Apr-2025 19:40 | 35M | - |
| acl2_8.6+dfsg-2_arm64.deb | 27-Apr-2025 19:56 | 35M | - |
| acl2_8.6+dfsg-2_armel.deb | 27-Apr-2025 21:17 | 36M | - |
| acl2_8.6+dfsg-2_armhf.deb | 28-Apr-2025 17:17 | 37M | - |
| acl2_8.6+dfsg-2_i386.deb | 27-Apr-2025 19:25 | 39M | - |
| acl2_8.6+dfsg-2_ppc64el.deb | 27-Apr-2025 19:30 | 35M | - |
| acl2_8.6+dfsg-2_riscv64.deb | 02-May-2025 01:29 | 35M | - |
| acl2_8.6+dfsg-2_s390x.deb | 28-Apr-2025 03:56 | 38M | - |
| acl2_8.6+dfsg.orig.tar.gz | 26-Apr-2025 21:21 | 229M | - |
| acl2_8.7+dfsg-3.debian.tar.xz | 17-Jul-2026 15:14 | 881K | - |
| acl2_8.7+dfsg-3.dsc | 17-Jul-2026 15:14 | 2288 | - |
| acl2_8.7+dfsg-3_amd64.deb | 17-Jul-2026 21:19 | 34M | - |
| acl2_8.7+dfsg-3_arm64.deb | 17-Jul-2026 20:32 | 31M | - |
| acl2_8.7+dfsg-3_armhf.deb | 17-Jul-2026 22:27 | 33M | - |
| acl2_8.7+dfsg-3_i386.deb | 18-Jul-2026 01:20 | 35M | - |
| acl2_8.7+dfsg-3_loong64.deb | 18-Jul-2026 07:23 | 32M | - |
| acl2_8.7+dfsg-3_ppc64el.deb | 17-Jul-2026 21:57 | 32M | - |
| acl2_8.7+dfsg-3_riscv64.deb | 23-Jul-2026 16:58 | 32M | - |
| acl2_8.7+dfsg-3_s390x.deb | 18-Jul-2026 02:20 | 37M | - |
| acl2_8.7+dfsg.orig.tar.gz | 17-Jun-2026 08:01 | 238M | - |
| elpa-acl2_8.5dfsg-5_all.deb | 16-Jan-2023 14:55 | 69K | - |
| elpa-acl2_8.6+dfsg-2_all.deb | 27-Apr-2025 19:56 | 76K | - |
| elpa-acl2_8.7+dfsg-3_all.deb | 17-Jul-2026 21:29 | 76K | - |