../ acl2-books-certs_8.3dfsg-2_all.deb 28-Jan-2021 02:25 145388148 acl2-books-certs_8.5dfsg-5_all.deb 16-Jan-2023 14:55 178375056 acl2-books-certs_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 221620564 acl2-books-certs_8.7+dfsg-3_all.deb 17-Jul-2026 21:29 243805664 acl2-books-source_8.3dfsg-2_all.deb 28-Jan-2021 02:25 19539252 acl2-books-source_8.5dfsg-5_all.deb 16-Jan-2023 14:55 24662324 acl2-books-source_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 27502672 acl2-books-source_8.7+dfsg-3_all.deb 17-Jul-2026 21:29 29736396 acl2-books_8.3dfsg-2_amd64.deb 27-Jan-2021 21:57 252878684 acl2-books_8.3dfsg-2_arm64.deb 28-Jan-2021 15:43 247461500 acl2-books_8.3dfsg-2_armhf.deb 28-Jan-2021 06:42 233775700 acl2-books_8.3dfsg-2_i386.deb 27-Jan-2021 22:22 213849148 acl2-books_8.5dfsg-5_amd64.deb 16-Jan-2023 20:15 300900920 acl2-books_8.5dfsg-5_arm64.deb 17-Jan-2023 21:13 303470876 acl2-books_8.5dfsg-5_armel.deb 17-Jan-2023 19:26 280803828 acl2-books_8.5dfsg-5_armhf.deb 17-Jan-2023 11:32 284902980 acl2-books_8.5dfsg-5_i386.deb 16-Jan-2023 15:16 259607668 acl2-books_8.5dfsg-5_mips64el.deb 23-Jan-2023 12:58 324497736 acl2-books_8.5dfsg-5_mipsel.deb 22-Jan-2023 00:30 298373940 acl2-books_8.5dfsg-5_ppc64el.deb 18-Jan-2023 20:10 305663132 acl2-books_8.5dfsg-5_s390x.deb 16-Jan-2023 14:30 280359528 acl2-books_8.6+dfsg-2_amd64.deb 27-Apr-2025 19:40 435743480 acl2-books_8.6+dfsg-2_arm64.deb 27-Apr-2025 19:56 432522576 acl2-books_8.6+dfsg-2_armel.deb 27-Apr-2025 21:17 404366068 acl2-books_8.6+dfsg-2_armhf.deb 28-Apr-2025 17:17 413798288 acl2-books_8.6+dfsg-2_i386.deb 27-Apr-2025 19:25 360999248 acl2-books_8.6+dfsg-2_ppc64el.deb 27-Apr-2025 19:30 450653084 acl2-books_8.6+dfsg-2_riscv64.deb 02-May-2025 01:29 981501120 acl2-books_8.6+dfsg-2_s390x.deb 28-Apr-2025 03:56 436947596 acl2-books_8.7+dfsg-3_amd64.deb 17-Jul-2026 21:19 478796380 acl2-books_8.7+dfsg-3_arm64.deb 17-Jul-2026 20:32 470194392 acl2-books_8.7+dfsg-3_armhf.deb 17-Jul-2026 22:27 455776748 acl2-books_8.7+dfsg-3_i386.deb 18-Jul-2026 01:20 416863840 acl2-books_8.7+dfsg-3_loong64.deb 18-Jul-2026 07:23 620035480 acl2-books_8.7+dfsg-3_ppc64el.deb 17-Jul-2026 21:57 510209304 acl2-books_8.7+dfsg-3_riscv64.deb 23-Jul-2026 16:58 1252756680 acl2-books_8.7+dfsg-3_s390x.deb 18-Jul-2026 02:20 481463980 acl2-doc_8.3dfsg-2_all.deb 28-Jan-2021 02:25 447608 acl2-doc_8.5dfsg-5_all.deb 16-Jan-2023 14:55 481328 acl2-doc_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 524912 acl2-doc_8.7+dfsg-3_all.deb 17-Jul-2026 21:29 546172 acl2-emacs_8.3dfsg-2_all.deb 28-Jan-2021 02:25 69412 acl2-infix-source_8.3dfsg-2_all.deb 28-Jan-2021 02:25 79880 acl2-infix-source_8.5dfsg-5_all.deb 16-Jan-2023 14:55 72332 acl2-infix-source_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 72652 acl2-infix-source_8.7+dfsg-3_all.deb 17-Jul-2026 21:29 71952 acl2-infix_8.3dfsg-2_amd64.deb 27-Jan-2021 21:57 490280 acl2-infix_8.3dfsg-2_arm64.deb 28-Jan-2021 15:43 480668 acl2-infix_8.3dfsg-2_armhf.deb 28-Jan-2021 06:42 489768 acl2-infix_8.3dfsg-2_i386.deb 27-Jan-2021 22:22 496480 acl2-infix_8.5dfsg-5_amd64.deb 16-Jan-2023 20:15 475288 acl2-infix_8.5dfsg-5_arm64.deb 17-Jan-2023 21:13 471720 acl2-infix_8.5dfsg-5_armel.deb 17-Jan-2023 19:26 470112 acl2-infix_8.5dfsg-5_armhf.deb 17-Jan-2023 11:32 483688 acl2-infix_8.5dfsg-5_i386.deb 16-Jan-2023 15:16 488940 acl2-infix_8.5dfsg-5_mips64el.deb 23-Jan-2023 12:58 502308 acl2-infix_8.5dfsg-5_mipsel.deb 22-Jan-2023 00:30 514928 acl2-infix_8.5dfsg-5_ppc64el.deb 18-Jan-2023 20:10 494624 acl2-infix_8.5dfsg-5_s390x.deb 16-Jan-2023 14:30 442320 acl2-infix_8.6+dfsg-2_amd64.deb 27-Apr-2025 19:40 886800 acl2-infix_8.6+dfsg-2_arm64.deb 27-Apr-2025 19:56 853784 acl2-infix_8.6+dfsg-2_armel.deb 27-Apr-2025 21:17 834140 acl2-infix_8.6+dfsg-2_armhf.deb 28-Apr-2025 17:17 865808 acl2-infix_8.6+dfsg-2_i386.deb 27-Apr-2025 19:25 872680 acl2-infix_8.6+dfsg-2_ppc64el.deb 27-Apr-2025 19:30 906636 acl2-infix_8.6+dfsg-2_riscv64.deb 02-May-2025 01:29 1921392 acl2-infix_8.6+dfsg-2_s390x.deb 28-Apr-2025 03:56 884620 acl2-infix_8.7+dfsg-3_amd64.deb 17-Jul-2026 21:19 896640 acl2-infix_8.7+dfsg-3_arm64.deb 17-Jul-2026 20:32 864104 acl2-infix_8.7+dfsg-3_armhf.deb 17-Jul-2026 22:27 890420 acl2-infix_8.7+dfsg-3_i386.deb 18-Jul-2026 01:20 884292 acl2-infix_8.7+dfsg-3_loong64.deb 18-Jul-2026 07:23 1108608 acl2-infix_8.7+dfsg-3_ppc64el.deb 17-Jul-2026 21:57 926812 acl2-infix_8.7+dfsg-3_riscv64.deb 23-Jul-2026 16:58 2197552 acl2-infix_8.7+dfsg-3_s390x.deb 18-Jul-2026 02:20 900180 acl2-source_8.3dfsg-2_all.deb 28-Jan-2021 02:25 3339896 acl2-source_8.5dfsg-5_all.deb 16-Jan-2023 14:55 3587888 acl2-source_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 3996788 acl2-source_8.7+dfsg-3_all.deb 17-Jul-2026 21:29 4071680 acl2_8.3dfsg-2.debian.tar.xz 27-Jan-2021 14:34 228320 acl2_8.3dfsg-2.dsc 27-Jan-2021 14:34 2275 acl2_8.3dfsg-2_amd64.deb 27-Jan-2021 21:57 21481292 acl2_8.3dfsg-2_arm64.deb 28-Jan-2021 15:43 19892236 acl2_8.3dfsg-2_armhf.deb 28-Jan-2021 06:42 18576036 acl2_8.3dfsg-2_i386.deb 27-Jan-2021 22:22 19487092 acl2_8.3dfsg.orig.tar.gz 24-Aug-2020 02:39 117260902 acl2_8.5dfsg-5.debian.tar.xz 16-Jan-2023 02:00 312896 acl2_8.5dfsg-5.dsc 16-Jan-2023 02:00 2268 acl2_8.5dfsg-5_amd64.deb 16-Jan-2023 20:15 23408224 acl2_8.5dfsg-5_arm64.deb 17-Jan-2023 21:13 21588828 acl2_8.5dfsg-5_armel.deb 17-Jan-2023 19:26 19064584 acl2_8.5dfsg-5_armhf.deb 17-Jan-2023 11:32 19585128 acl2_8.5dfsg-5_i386.deb 16-Jan-2023 15:16 20377820 acl2_8.5dfsg-5_mips64el.deb 23-Jan-2023 12:58 20602540 acl2_8.5dfsg-5_mipsel.deb 22-Jan-2023 00:30 19821928 acl2_8.5dfsg-5_ppc64el.deb 18-Jan-2023 20:10 23139572 acl2_8.5dfsg-5_s390x.deb 16-Jan-2023 14:30 22001448 acl2_8.5dfsg.orig.tar.gz 27-Jul-2022 14:13 223546594 acl2_8.6+dfsg-2.debian.tar.xz 27-Apr-2025 12:54 445128 acl2_8.6+dfsg-2.dsc 27-Apr-2025 12:54 2286 acl2_8.6+dfsg-2_amd64.deb 27-Apr-2025 19:40 36900528 acl2_8.6+dfsg-2_arm64.deb 27-Apr-2025 19:56 36610984 acl2_8.6+dfsg-2_armel.deb 27-Apr-2025 21:17 37921692 acl2_8.6+dfsg-2_armhf.deb 28-Apr-2025 17:17 38343840 acl2_8.6+dfsg-2_i386.deb 27-Apr-2025 19:25 40681708 acl2_8.6+dfsg-2_ppc64el.deb 27-Apr-2025 19:30 37191308 acl2_8.6+dfsg-2_riscv64.deb 02-May-2025 01:29 37156592 acl2_8.6+dfsg-2_s390x.deb 28-Apr-2025 03:56 39851220 acl2_8.6+dfsg.orig.tar.gz 26-Apr-2025 21:21 240329345 acl2_8.7+dfsg-2.debian.tar.xz 17-Jun-2026 14:31 902016 acl2_8.7+dfsg-2.dsc 17-Jun-2026 14:31 2288 acl2_8.7+dfsg-3.debian.tar.xz 17-Jul-2026 15:14 901928 acl2_8.7+dfsg-3.dsc 17-Jul-2026 15:14 2288 acl2_8.7+dfsg-3_amd64.deb 17-Jul-2026 21:19 35891852 acl2_8.7+dfsg-3_arm64.deb 17-Jul-2026 20:32 32525976 acl2_8.7+dfsg-3_armhf.deb 17-Jul-2026 22:27 34882232 acl2_8.7+dfsg-3_i386.deb 18-Jul-2026 01:20 36900136 acl2_8.7+dfsg-3_loong64.deb 18-Jul-2026 07:23 33843820 acl2_8.7+dfsg-3_ppc64el.deb 17-Jul-2026 21:57 33361712 acl2_8.7+dfsg-3_riscv64.deb 23-Jul-2026 16:58 33882480 acl2_8.7+dfsg-3_s390x.deb 18-Jul-2026 02:20 38496052 acl2_8.7+dfsg.orig.tar.gz 17-Jun-2026 08:01 249797630 elpa-acl2_8.5dfsg-5_all.deb 16-Jan-2023 14:55 70628 elpa-acl2_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 78264 elpa-acl2_8.7+dfsg-3_all.deb 17-Jul-2026 21:29 77584
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.