Index of /mirrors/debian/pool/main/a/acl2/

directories: 0, files: 152

NameLast modifiedSize
../
elpa-acl2_8.7+dfsg-2_all.deb2026-06-17 23:12:4975.73 KiB
elpa-acl2_8.6+dfsg-3_all.deb2025-05-14 22:24:4676.62 KiB
elpa-acl2_8.6+dfsg-2_all.deb2025-04-27 21:56:1676.43 KiB
elpa-acl2_8.5dfsg-5_all.deb2023-01-16 15:55:5768.97 KiB
acl2_8.7+dfsg.orig.tar.gz2026-06-17 10:01:39238.22 MiB
acl2_8.7+dfsg-2_s390x.deb2026-06-18 04:00:1746.21 MiB
acl2_8.7+dfsg-2_ppc64el.deb2026-06-17 23:57:3336.75 MiB
acl2_8.7+dfsg-2_loong64.deb2026-06-18 12:18:1737.43 MiB
acl2_8.7+dfsg-2_i386.deb2026-06-18 03:39:4737.96 MiB
acl2_8.7+dfsg-2_armhf.deb2026-06-18 03:08:4838.09 MiB
acl2_8.7+dfsg-2_arm64.deb2026-06-17 22:31:5436.16 MiB
acl2_8.7+dfsg-2_amd64.deb2026-06-17 23:23:2035.61 MiB
acl2_8.7+dfsg-2.dsc2026-06-17 16:31:282.23 KiB
acl2_8.7+dfsg-2.debian.tar.xz2026-06-17 16:31:28880.88 KiB
acl2_8.6+dfsg.orig.tar.gz2025-04-26 23:21:59229.20 MiB
acl2_8.6+dfsg-3_s390x.deb2025-05-15 04:09:0837.88 MiB
acl2_8.6+dfsg-3_riscv64.deb2025-05-19 05:00:1935.39 MiB
acl2_8.6+dfsg-3_ppc64el.deb2025-05-14 22:09:3935.37 MiB
acl2_8.6+dfsg-3_i386.deb2025-05-15 00:27:3439.18 MiB
acl2_8.6+dfsg-3_armhf.deb2025-05-15 00:17:2338.20 MiB
acl2_8.6+dfsg-3_amd64.deb2025-05-14 22:40:1035.44 MiB
acl2_8.6+dfsg-3.dsc2025-05-14 16:10:112.23 KiB
acl2_8.6+dfsg-3.debian.tar.xz2025-05-14 16:10:11694.53 KiB
acl2_8.6+dfsg-3+b1_loong64.deb2026-05-17 19:11:1435.32 MiB
acl2_8.6+dfsg-3+b1_arm64.deb2026-01-20 06:36:3135.01 MiB
acl2_8.6+dfsg-2_s390x.deb2025-04-28 05:56:3738.00 MiB
acl2_8.6+dfsg-2_riscv64.deb2025-05-02 03:29:2135.43 MiB
acl2_8.6+dfsg-2_ppc64el.deb2025-04-27 21:30:2335.47 MiB
acl2_8.6+dfsg-2_i386.deb2025-04-27 21:25:1638.80 MiB
acl2_8.6+dfsg-2_armhf.deb2025-04-28 19:17:5436.57 MiB
acl2_8.6+dfsg-2_armel.deb2025-04-27 23:17:0536.16 MiB
acl2_8.6+dfsg-2_arm64.deb2025-04-27 21:56:1034.91 MiB
acl2_8.6+dfsg-2_amd64.deb2025-04-27 21:40:5835.19 MiB
acl2_8.6+dfsg-2.dsc2025-04-27 14:54:282.23 KiB
acl2_8.6+dfsg-2.debian.tar.xz2025-04-27 14:54:28434.70 KiB
acl2_8.5dfsg.orig.tar.gz2022-07-27 16:13:36213.19 MiB
acl2_8.5dfsg-5_s390x.deb2023-01-16 15:30:3120.98 MiB
acl2_8.5dfsg-5_ppc64el.deb2023-01-18 21:10:4022.07 MiB
acl2_8.5dfsg-5_mipsel.deb2023-01-22 01:30:4718.90 MiB
acl2_8.5dfsg-5_mips64el.deb2023-01-23 13:58:2419.65 MiB
acl2_8.5dfsg-5_i386.deb2023-01-16 16:16:2619.43 MiB
acl2_8.5dfsg-5_armhf.deb2023-01-17 12:32:2518.68 MiB
acl2_8.5dfsg-5_armel.deb2023-01-17 20:26:4518.18 MiB
acl2_8.5dfsg-5_arm64.deb2023-01-17 22:13:2320.59 MiB
acl2_8.5dfsg-5_amd64.deb2023-01-16 21:15:1022.32 MiB
acl2_8.5dfsg-5.dsc2023-01-16 03:00:062.21 KiB
acl2_8.5dfsg-5.debian.tar.xz2023-01-16 03:00:06305.56 KiB
acl2_8.3dfsg.orig.tar.gz2020-08-24 04:39:38111.83 MiB
acl2_8.3dfsg-2_i386.deb2021-01-27 23:22:2718.58 MiB
acl2_8.3dfsg-2_armhf.deb2021-01-28 07:42:5417.71 MiB
acl2_8.3dfsg-2_arm64.deb2021-01-28 16:43:0118.97 MiB
acl2_8.3dfsg-2_amd64.deb2021-01-27 22:57:1320.49 MiB
acl2_8.3dfsg-2.dsc2021-01-27 15:34:222.22 KiB
acl2_8.3dfsg-2.debian.tar.xz2021-01-27 15:34:22222.97 KiB
acl2-source_8.7+dfsg-2_all.deb2026-06-17 23:12:493.88 MiB
acl2-source_8.6+dfsg-3_all.deb2025-05-14 22:24:463.81 MiB
acl2-source_8.6+dfsg-2_all.deb2025-04-27 21:56:163.81 MiB
acl2-source_8.5dfsg-5_all.deb2023-01-16 15:55:573.42 MiB
acl2-source_8.3dfsg-2_all.deb2021-01-28 03:25:233.18 MiB
acl2-infix_8.7+dfsg-2_s390x.deb2026-06-18 04:00:16878.35 KiB
acl2-infix_8.7+dfsg-2_ppc64el.deb2026-06-17 23:57:33906.44 KiB
acl2-infix_8.7+dfsg-2_loong64.deb2026-06-18 12:18:171.06 MiB
acl2-infix_8.7+dfsg-2_i386.deb2026-06-18 03:39:47864.45 KiB
acl2-infix_8.7+dfsg-2_armhf.deb2026-06-18 03:08:48872.36 KiB
acl2-infix_8.7+dfsg-2_arm64.deb2026-06-17 22:31:54844.04 KiB
acl2-infix_8.7+dfsg-2_amd64.deb2026-06-17 23:23:20873.53 KiB
acl2-infix_8.6+dfsg-3_s390x.deb2025-05-15 04:09:08862.89 KiB
acl2-infix_8.6+dfsg-3_riscv64.deb2025-05-19 05:00:191.85 MiB
acl2-infix_8.6+dfsg-3_ppc64el.deb2025-05-14 22:09:39881.96 KiB
acl2-infix_8.6+dfsg-3_i386.deb2025-05-15 00:27:34852.51 KiB
acl2-infix_8.6+dfsg-3_armhf.deb2025-05-15 00:17:23846.41 KiB
acl2-infix_8.6+dfsg-3_amd64.deb2025-05-14 22:40:10864.79 KiB
acl2-infix_8.6+dfsg-3+b1_loong64.deb2026-05-17 19:11:141.06 MiB
acl2-infix_8.6+dfsg-3+b1_arm64.deb2026-01-20 06:36:31825.75 KiB
acl2-infix_8.6+dfsg-2_s390x.deb2025-04-28 05:56:37863.89 KiB
acl2-infix_8.6+dfsg-2_riscv64.deb2025-05-02 03:29:201.83 MiB
acl2-infix_8.6+dfsg-2_ppc64el.deb2025-04-27 21:30:23885.39 KiB
acl2-infix_8.6+dfsg-2_i386.deb2025-04-27 21:25:16852.23 KiB
acl2-infix_8.6+dfsg-2_armhf.deb2025-04-28 19:17:54845.52 KiB
acl2-infix_8.6+dfsg-2_armel.deb2025-04-27 23:17:05814.59 KiB
acl2-infix_8.6+dfsg-2_arm64.deb2025-04-27 21:56:10833.77 KiB
acl2-infix_8.6+dfsg-2_amd64.deb2025-04-27 21:40:58866.02 KiB
acl2-infix_8.5dfsg-5_s390x.deb2023-01-16 15:30:31431.95 KiB
acl2-infix_8.5dfsg-5_ppc64el.deb2023-01-18 21:10:39483.03 KiB
acl2-infix_8.5dfsg-5_mipsel.deb2023-01-22 01:30:47502.86 KiB
acl2-infix_8.5dfsg-5_mips64el.deb2023-01-23 13:58:24490.54 KiB
acl2-infix_8.5dfsg-5_i386.deb2023-01-16 16:16:26477.48 KiB
acl2-infix_8.5dfsg-5_armhf.deb2023-01-17 12:32:25472.35 KiB
acl2-infix_8.5dfsg-5_armel.deb2023-01-17 20:26:45459.09 KiB
acl2-infix_8.5dfsg-5_arm64.deb2023-01-17 22:13:23460.66 KiB
acl2-infix_8.5dfsg-5_amd64.deb2023-01-16 21:15:10464.15 KiB
acl2-infix_8.3dfsg-2_i386.deb2021-01-27 23:22:26484.84 KiB
acl2-infix_8.3dfsg-2_armhf.deb2021-01-28 07:42:54478.29 KiB
acl2-infix_8.3dfsg-2_arm64.deb2021-01-28 16:43:01469.40 KiB
acl2-infix_8.3dfsg-2_amd64.deb2021-01-27 22:57:13478.79 KiB
acl2-infix-source_8.7+dfsg-2_all.deb2026-06-17 23:12:4970.20 KiB
acl2-infix-source_8.6+dfsg-3_all.deb2025-05-14 22:24:4671.13 KiB
acl2-infix-source_8.6+dfsg-2_all.deb2025-04-27 21:56:1670.95 KiB
acl2-infix-source_8.5dfsg-5_all.deb2023-01-16 15:55:5770.64 KiB
acl2-infix-source_8.3dfsg-2_all.deb2021-01-28 03:25:2378.01 KiB
acl2-emacs_8.3dfsg-2_all.deb2021-01-28 03:25:2367.79 KiB
acl2-doc_8.7+dfsg-2_all.deb2026-06-17 23:12:49533.25 KiB
acl2-doc_8.6+dfsg-3_all.deb2025-05-14 22:24:46512.84 KiB
acl2-doc_8.6+dfsg-2_all.deb2025-04-27 21:56:16512.61 KiB
acl2-doc_8.5dfsg-5_all.deb2023-01-16 15:55:57470.05 KiB
acl2-doc_8.3dfsg-2_all.deb2021-01-28 03:25:23437.12 KiB
acl2-books_8.7+dfsg-2_s390x.deb2026-06-18 04:00:16459.20 MiB
acl2-books_8.7+dfsg-2_ppc64el.deb2026-06-17 23:57:33486.66 MiB
acl2-books_8.7+dfsg-2_loong64.deb2026-06-18 12:18:17591.43 MiB
acl2-books_8.7+dfsg-2_i386.deb2026-06-18 03:39:47397.68 MiB
acl2-books_8.7+dfsg-2_armhf.deb2026-06-18 03:08:48434.81 MiB
acl2-books_8.7+dfsg-2_arm64.deb2026-06-17 22:31:54448.09 MiB
acl2-books_8.7+dfsg-2_amd64.deb2026-06-17 23:23:20456.54 MiB
acl2-books_8.6+dfsg-3_s390x.deb2025-05-15 04:09:08416.54 MiB
acl2-books_8.6+dfsg-3_riscv64.deb2025-05-19 05:00:19936.57 MiB
acl2-books_8.6+dfsg-3_ppc64el.deb2025-05-14 22:09:39429.85 MiB
acl2-books_8.6+dfsg-3_i386.deb2025-05-15 00:27:34344.34 MiB
acl2-books_8.6+dfsg-3_armhf.deb2025-05-15 00:17:23394.66 MiB
acl2-books_8.6+dfsg-3_amd64.deb2025-05-14 22:40:10415.58 MiB
acl2-books_8.6+dfsg-3+b1_loong64.deb2026-05-17 19:11:14548.91 MiB
acl2-books_8.6+dfsg-3+b1_arm64.deb2026-01-20 06:36:31409.86 MiB
acl2-books_8.6+dfsg-2_s390x.deb2025-04-28 05:56:37416.71 MiB
acl2-books_8.6+dfsg-2_riscv64.deb2025-05-02 03:29:20936.03 MiB
acl2-books_8.6+dfsg-2_ppc64el.deb2025-04-27 21:30:23429.78 MiB
acl2-books_8.6+dfsg-2_i386.deb2025-04-27 21:25:16344.28 MiB
acl2-books_8.6+dfsg-2_armhf.deb2025-04-28 19:17:54394.63 MiB
acl2-books_8.6+dfsg-2_armel.deb2025-04-27 23:17:05385.63 MiB
acl2-books_8.6+dfsg-2_arm64.deb2025-04-27 21:56:10412.49 MiB
acl2-books_8.6+dfsg-2_amd64.deb2025-04-27 21:40:58415.56 MiB
acl2-books_8.5dfsg-5_s390x.deb2023-01-16 15:30:31267.37 MiB
acl2-books_8.5dfsg-5_ppc64el.deb2023-01-18 21:10:39291.50 MiB
acl2-books_8.5dfsg-5_mipsel.deb2023-01-22 01:30:47284.55 MiB
acl2-books_8.5dfsg-5_mips64el.deb2023-01-23 13:58:23309.46 MiB
acl2-books_8.5dfsg-5_i386.deb2023-01-16 16:16:26247.58 MiB
acl2-books_8.5dfsg-5_armhf.deb2023-01-17 12:32:25271.70 MiB
acl2-books_8.5dfsg-5_armel.deb2023-01-17 20:26:45267.79 MiB
acl2-books_8.5dfsg-5_arm64.deb2023-01-17 22:13:23289.41 MiB
acl2-books_8.5dfsg-5_amd64.deb2023-01-16 21:15:10286.96 MiB
acl2-books_8.3dfsg-2_i386.deb2021-01-27 23:22:26203.94 MiB
acl2-books_8.3dfsg-2_armhf.deb2021-01-28 07:42:54222.95 MiB
acl2-books_8.3dfsg-2_arm64.deb2021-01-28 16:43:01236.00 MiB
acl2-books_8.3dfsg-2_amd64.deb2021-01-27 22:57:13241.16 MiB
acl2-books-source_8.7+dfsg-2_all.deb2026-06-17 23:12:4928.36 MiB
acl2-books-source_8.6+dfsg-3_all.deb2025-05-14 22:24:4626.23 MiB
acl2-books-source_8.6+dfsg-2_all.deb2025-04-27 21:56:1626.23 MiB
acl2-books-source_8.5dfsg-5_all.deb2023-01-16 15:55:5723.52 MiB
acl2-books-source_8.3dfsg-2_all.deb2021-01-28 03:25:2318.63 MiB
acl2-books-certs_8.7+dfsg-2_all.deb2026-06-17 23:12:49232.11 MiB
acl2-books-certs_8.6+dfsg-3_all.deb2025-05-14 22:24:46211.65 MiB
acl2-books-certs_8.6+dfsg-2_all.deb2025-04-27 21:56:16211.35 MiB
acl2-books-certs_8.5dfsg-5_all.deb2023-01-16 15:55:57170.11 MiB
acl2-books-certs_8.3dfsg-2_all.deb2021-01-28 03:25:23138.65 MiB