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