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.6+dfsg-3_all.deb 14-May-2025 23:54 212M 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.6+dfsg-3_all.deb 14-May-2025 23:54 26M 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.6+dfsg-3+b1_arm64.deb 20-Jan-2026 09:06 410M acl2-books_8.6+dfsg-3_amd64.deb 15-May-2025 00:10 416M acl2-books_8.6+dfsg-3_arm64.deb 15-May-2025 17:17 413M acl2-books_8.6+dfsg-3_armhf.deb 15-May-2025 01:47 395M acl2-books_8.6+dfsg-3_i386.deb 15-May-2025 01:57 344M acl2-books_8.6+dfsg-3_loong64.deb 28-Dec-2025 19:16 528M acl2-books_8.6+dfsg-3_ppc64el.deb 14-May-2025 23:39 430M acl2-books_8.6+dfsg-3_riscv64.deb 19-May-2025 06:30 937M acl2-books_8.6+dfsg-3_s390x.deb 15-May-2025 05:39 417M 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.6+dfsg-3_all.deb 14-May-2025 23:54 513K 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.6+dfsg-3_all.deb 14-May-2025 23:54 71K 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.6+dfsg-3+b1_arm64.deb 20-Jan-2026 09:06 826K acl2-infix_8.6+dfsg-3_amd64.deb 15-May-2025 00:10 865K acl2-infix_8.6+dfsg-3_arm64.deb 15-May-2025 17:17 833K acl2-infix_8.6+dfsg-3_armhf.deb 15-May-2025 01:47 846K acl2-infix_8.6+dfsg-3_i386.deb 15-May-2025 01:57 853K acl2-infix_8.6+dfsg-3_loong64.deb 28-Dec-2025 19:16 1M acl2-infix_8.6+dfsg-3_ppc64el.deb 14-May-2025 23:39 882K acl2-infix_8.6+dfsg-3_riscv64.deb 19-May-2025 06:30 2M acl2-infix_8.6+dfsg-3_s390x.deb 15-May-2025 05:39 863K 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.6+dfsg-3_all.deb 14-May-2025 23:54 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-3+b1_arm64.deb 20-Jan-2026 09:06 35M acl2_8.6+dfsg-3.debian.tar.xz 14-May-2025 17:40 695K acl2_8.6+dfsg-3.dsc 14-May-2025 17:40 2288 acl2_8.6+dfsg-3_amd64.deb 15-May-2025 00:10 35M acl2_8.6+dfsg-3_arm64.deb 15-May-2025 17:17 36M acl2_8.6+dfsg-3_armhf.deb 15-May-2025 01:47 38M acl2_8.6+dfsg-3_i386.deb 15-May-2025 01:57 39M acl2_8.6+dfsg-3_loong64.deb 28-Dec-2025 19:16 36M acl2_8.6+dfsg-3_ppc64el.deb 14-May-2025 23:39 35M acl2_8.6+dfsg-3_riscv64.deb 19-May-2025 06:30 35M acl2_8.6+dfsg-3_s390x.deb 15-May-2025 05:39 38M acl2_8.6+dfsg.orig.tar.gz 27-Apr-2025 00:51 229M 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.6+dfsg-3_all.deb 14-May-2025 23:54 77K
Mirrors service provided by ParsVDS. Contact:
parsvds.s@gmail.com