Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync

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

File Last Modified Size
📂 Parent Directory
📄 acl2-books-certs_8.0dfsg-1_all.deb2018-01-13 13:52:5769.91 MB
📄 acl2-books-certs_8.3dfsg-2_all.deb2021-01-28 02:25:23138.65 MB
📄 acl2-books-certs_8.5dfsg-5_all.deb2023-01-16 14:55:57170.11 MB
📄 acl2-books-certs_8.6+dfsg-2_all.deb2025-04-27 19:56:16211.35 MB
📄 acl2-books-certs_8.6+dfsg-3_all.deb2025-05-14 20:24:46211.65 MB
📄 acl2-books-source_8.0dfsg-1_all.deb2018-01-13 13:52:5711.9 MB
📄 acl2-books-source_8.3dfsg-2_all.deb2021-01-28 02:25:2318.63 MB
📄 acl2-books-source_8.5dfsg-5_all.deb2023-01-16 14:55:5723.52 MB
📄 acl2-books-source_8.6+dfsg-2_all.deb2025-04-27 19:56:1626.23 MB
📄 acl2-books-source_8.6+dfsg-3_all.deb2025-05-14 20:24:4626.23 MB
📄 acl2-books_8.0dfsg-1_amd64.deb2018-01-13 13:52:59131.56 MB
📄 acl2-books_8.0dfsg-1_arm64.deb2018-01-14 02:47:41134.8 MB
📄 acl2-books_8.0dfsg-1_armhf.deb2018-01-15 08:46:11119.56 MB
📄 acl2-books_8.0dfsg-1_i386.deb2018-01-13 21:26:14110.62 MB
📄 acl2-books_8.3dfsg-2_amd64.deb2021-01-27 21:57:13241.16 MB
📄 acl2-books_8.3dfsg-2_arm64.deb2021-01-28 15:43:01236 MB
📄 acl2-books_8.3dfsg-2_armel.deb2021-01-28 07:13:11218.37 MB
📄 acl2-books_8.3dfsg-2_armhf.deb2021-01-28 06:42:54222.95 MB
📄 acl2-books_8.3dfsg-2_i386.deb2021-01-27 22:22:26203.94 MB
📄 acl2-books_8.3dfsg-2_mips64el.deb2021-01-30 19:12:15253.6 MB
📄 acl2-books_8.3dfsg-2_mipsel.deb2021-01-29 09:42:16227.91 MB
📄 acl2-books_8.3dfsg-2_ppc64el.deb2021-01-27 23:44:10244.75 MB
📄 acl2-books_8.3dfsg-2_s390x.deb2021-01-28 02:35:29218.99 MB
📄 acl2-books_8.5dfsg-5_amd64.deb2023-01-16 20:15:10286.96 MB
📄 acl2-books_8.5dfsg-5_arm64.deb2023-01-17 21:13:23289.41 MB
📄 acl2-books_8.5dfsg-5_armel.deb2023-01-17 19:26:45267.8 MB
📄 acl2-books_8.5dfsg-5_armhf.deb2023-01-17 11:32:25271.7 MB
📄 acl2-books_8.5dfsg-5_i386.deb2023-01-16 15:16:26247.58 MB
📄 acl2-books_8.5dfsg-5_mips64el.deb2023-01-23 12:58:23309.47 MB
📄 acl2-books_8.5dfsg-5_mipsel.deb2023-01-22 00:30:47284.55 MB
📄 acl2-books_8.5dfsg-5_ppc64el.deb2023-01-18 20:10:39291.5 MB
📄 acl2-books_8.5dfsg-5_s390x.deb2023-01-16 14:30:31267.37 MB
📄 acl2-books_8.6+dfsg-2_amd64.deb2025-04-27 19:40:58415.56 MB
📄 acl2-books_8.6+dfsg-2_arm64.deb2025-04-27 19:56:10412.49 MB
📄 acl2-books_8.6+dfsg-2_armel.deb2025-04-27 21:17:05385.63 MB
📄 acl2-books_8.6+dfsg-2_armhf.deb2025-04-28 17:17:54394.63 MB
📄 acl2-books_8.6+dfsg-2_i386.deb2025-04-27 19:25:16344.28 MB
📄 acl2-books_8.6+dfsg-2_ppc64el.deb2025-04-27 19:30:23429.78 MB
📄 acl2-books_8.6+dfsg-2_riscv64.deb2025-05-02 01:29:20936.03 MB
📄 acl2-books_8.6+dfsg-2_s390x.deb2025-04-28 03:56:37416.71 MB
📄 acl2-books_8.6+dfsg-3_amd64.deb2025-05-14 20:40:10415.58 MB
📄 acl2-books_8.6+dfsg-3_arm64.deb2025-05-15 13:47:48412.5 MB
📄 acl2-books_8.6+dfsg-3_armel.deb2025-05-14 23:03:05385.8 MB
📄 acl2-books_8.6+dfsg-3_armhf.deb2025-05-14 22:17:23394.66 MB
📄 acl2-books_8.6+dfsg-3_i386.deb2025-05-14 22:27:34344.34 MB
📄 acl2-books_8.6+dfsg-3_mips64el.deb2025-05-16 08:19:12440.68 MB
📄 acl2-books_8.6+dfsg-3_ppc64el.deb2025-05-14 20:09:39429.85 MB
📄 acl2-books_8.6+dfsg-3_riscv64.deb2025-05-19 03:00:19936.58 MB
📄 acl2-books_8.6+dfsg-3_s390x.deb2025-05-15 02:09:08416.54 MB
📄 acl2-doc_8.0dfsg-1_all.deb2018-01-13 13:52:59392.11 KB
📄 acl2-doc_8.3dfsg-2_all.deb2021-01-28 02:25:23437.12 KB
📄 acl2-doc_8.5dfsg-5_all.deb2023-01-16 14:55:57470.05 KB
📄 acl2-doc_8.6+dfsg-2_all.deb2025-04-27 19:56:16512.61 KB
📄 acl2-doc_8.6+dfsg-3_all.deb2025-05-14 20:24:46512.84 KB
📄 acl2-emacs_8.0dfsg-1_all.deb2018-01-13 13:52:5966.02 KB
📄 acl2-emacs_8.3dfsg-2_all.deb2021-01-28 02:25:2367.79 KB
📄 acl2-infix-source_8.0dfsg-1_all.deb2018-01-13 13:52:5977.33 KB
📄 acl2-infix-source_8.3dfsg-2_all.deb2021-01-28 02:25:2378.01 KB
📄 acl2-infix-source_8.5dfsg-5_all.deb2023-01-16 14:55:5770.64 KB
📄 acl2-infix-source_8.6+dfsg-2_all.deb2025-04-27 19:56:1670.95 KB
📄 acl2-infix-source_8.6+dfsg-3_all.deb2025-05-14 20:24:4671.13 KB
📄 acl2-infix_8.0dfsg-1_amd64.deb2018-01-13 13:52:59421.91 KB
📄 acl2-infix_8.0dfsg-1_arm64.deb2018-01-14 02:47:41432.42 KB
📄 acl2-infix_8.0dfsg-1_armhf.deb2018-01-15 08:46:11406.5 KB
📄 acl2-infix_8.0dfsg-1_i386.deb2018-01-13 21:26:14389.98 KB
📄 acl2-infix_8.3dfsg-2_amd64.deb2021-01-27 21:57:13478.79 KB
📄 acl2-infix_8.3dfsg-2_arm64.deb2021-01-28 15:43:01469.4 KB
📄 acl2-infix_8.3dfsg-2_armel.deb2021-01-28 07:13:11462.92 KB
📄 acl2-infix_8.3dfsg-2_armhf.deb2021-01-28 06:42:54478.29 KB
📄 acl2-infix_8.3dfsg-2_i386.deb2021-01-27 22:22:26484.84 KB
📄 acl2-infix_8.3dfsg-2_mips64el.deb2021-01-30 19:12:15503.34 KB
📄 acl2-infix_8.3dfsg-2_mipsel.deb2021-01-29 09:42:16508.89 KB
📄 acl2-infix_8.3dfsg-2_ppc64el.deb2021-01-27 23:44:10497.86 KB
📄 acl2-infix_8.3dfsg-2_s390x.deb2021-01-28 02:35:29434.94 KB
📄 acl2-infix_8.5dfsg-5_amd64.deb2023-01-16 20:15:10464.15 KB
📄 acl2-infix_8.5dfsg-5_arm64.deb2023-01-17 21:13:23460.66 KB
📄 acl2-infix_8.5dfsg-5_armel.deb2023-01-17 19:26:45459.09 KB
📄 acl2-infix_8.5dfsg-5_armhf.deb2023-01-17 11:32:25472.35 KB
📄 acl2-infix_8.5dfsg-5_i386.deb2023-01-16 15:16:26477.48 KB
📄 acl2-infix_8.5dfsg-5_mips64el.deb2023-01-23 12:58:24490.54 KB
📄 acl2-infix_8.5dfsg-5_mipsel.deb2023-01-22 00:30:47502.86 KB
📄 acl2-infix_8.5dfsg-5_ppc64el.deb2023-01-18 20:10:39483.03 KB
📄 acl2-infix_8.5dfsg-5_s390x.deb2023-01-16 14:30:31431.95 KB
📄 acl2-infix_8.6+dfsg-2_amd64.deb2025-04-27 19:40:58866.02 KB
📄 acl2-infix_8.6+dfsg-2_arm64.deb2025-04-27 19:56:10833.77 KB
📄 acl2-infix_8.6+dfsg-2_armel.deb2025-04-27 21:17:05814.59 KB
📄 acl2-infix_8.6+dfsg-2_armhf.deb2025-04-28 17:17:54845.52 KB
📄 acl2-infix_8.6+dfsg-2_i386.deb2025-04-27 19:25:16852.23 KB
📄 acl2-infix_8.6+dfsg-2_ppc64el.deb2025-04-27 19:30:23885.39 KB
📄 acl2-infix_8.6+dfsg-2_riscv64.deb2025-05-02 01:29:201.83 MB
📄 acl2-infix_8.6+dfsg-2_s390x.deb2025-04-28 03:56:37863.89 KB
📄 acl2-infix_8.6+dfsg-3_amd64.deb2025-05-14 20:40:10864.79 KB
📄 acl2-infix_8.6+dfsg-3_arm64.deb2025-05-15 13:47:48833.5 KB
📄 acl2-infix_8.6+dfsg-3_armel.deb2025-05-14 23:03:05813.27 KB
📄 acl2-infix_8.6+dfsg-3_armhf.deb2025-05-14 22:17:23846.41 KB
📄 acl2-infix_8.6+dfsg-3_i386.deb2025-05-14 22:27:34852.51 KB
📄 acl2-infix_8.6+dfsg-3_mips64el.deb2025-05-16 08:19:12874.95 KB
📄 acl2-infix_8.6+dfsg-3_ppc64el.deb2025-05-14 20:09:39881.96 KB
📄 acl2-infix_8.6+dfsg-3_riscv64.deb2025-05-19 03:00:191.85 MB
📄 acl2-infix_8.6+dfsg-3_s390x.deb2025-05-15 02:09:08862.89 KB
📄 acl2-source_8.0dfsg-1_all.deb2018-01-13 13:52:592.94 MB
📄 acl2-source_8.3dfsg-2_all.deb2021-01-28 02:25:233.19 MB
📄 acl2-source_8.5dfsg-5_all.deb2023-01-16 14:55:573.42 MB
📄 acl2-source_8.6+dfsg-2_all.deb2025-04-27 19:56:163.81 MB
📄 acl2-source_8.6+dfsg-3_all.deb2025-05-14 20:24:463.81 MB
📄 acl2_8.0dfsg-1.debian.tar.xz2018-01-13 13:52:57199.96 KB
📄 acl2_8.0dfsg-1.dsc2018-01-13 13:52:562.19 KB
📄 acl2_8.0dfsg-1_amd64.deb2018-01-13 13:52:5918.94 MB
📄 acl2_8.0dfsg-1_arm64.deb2018-01-14 02:47:4217.03 MB
📄 acl2_8.0dfsg-1_armhf.deb2018-01-15 08:46:1215.43 MB
📄 acl2_8.0dfsg-1_i386.deb2018-01-13 21:26:1416.21 MB
📄 acl2_8.0dfsg.orig.tar.gz2018-01-13 13:52:5774.04 MB
📄 acl2_8.3dfsg-2.debian.tar.xz2021-01-27 14:34:22222.97 KB
📄 acl2_8.3dfsg-2.dsc2021-01-27 14:34:222.22 KB
📄 acl2_8.3dfsg-2_amd64.deb2021-01-27 21:57:1320.49 MB
📄 acl2_8.3dfsg-2_arm64.deb2021-01-28 15:43:0118.97 MB
📄 acl2_8.3dfsg-2_armel.deb2021-01-28 07:13:1117.57 MB
📄 acl2_8.3dfsg-2_armhf.deb2021-01-28 06:42:5417.72 MB
📄 acl2_8.3dfsg-2_i386.deb2021-01-27 22:22:2718.58 MB
📄 acl2_8.3dfsg-2_mips64el.deb2021-01-30 19:12:1618.37 MB
📄 acl2_8.3dfsg-2_mipsel.deb2021-01-29 09:42:1618.8 MB
📄 acl2_8.3dfsg-2_ppc64el.deb2021-01-27 23:44:1021.56 MB
📄 acl2_8.3dfsg-2_s390x.deb2021-01-28 02:35:2919.71 MB
📄 acl2_8.3dfsg.orig.tar.gz2020-08-24 02:39:38111.83 MB
📄 acl2_8.5dfsg-5.debian.tar.xz2023-01-16 02:00:06305.56 KB
📄 acl2_8.5dfsg-5.dsc2023-01-16 02:00:062.21 KB
📄 acl2_8.5dfsg-5_amd64.deb2023-01-16 20:15:1022.32 MB
📄 acl2_8.5dfsg-5_arm64.deb2023-01-17 21:13:2320.59 MB
📄 acl2_8.5dfsg-5_armel.deb2023-01-17 19:26:4518.18 MB
📄 acl2_8.5dfsg-5_armhf.deb2023-01-17 11:32:2518.68 MB
📄 acl2_8.5dfsg-5_i386.deb2023-01-16 15:16:2619.43 MB
📄 acl2_8.5dfsg-5_mips64el.deb2023-01-23 12:58:2419.65 MB
📄 acl2_8.5dfsg-5_mipsel.deb2023-01-22 00:30:4718.9 MB
📄 acl2_8.5dfsg-5_ppc64el.deb2023-01-18 20:10:4022.07 MB
📄 acl2_8.5dfsg-5_s390x.deb2023-01-16 14:30:3120.98 MB
📄 acl2_8.5dfsg.orig.tar.gz2022-07-27 14:13:36213.19 MB
📄 acl2_8.6+dfsg-2.debian.tar.xz2025-04-27 12:54:28434.7 KB
📄 acl2_8.6+dfsg-2.dsc2025-04-27 12:54:282.23 KB
📄 acl2_8.6+dfsg-2_amd64.deb2025-04-27 19:40:5835.19 MB
📄 acl2_8.6+dfsg-2_arm64.deb2025-04-27 19:56:1034.91 MB
📄 acl2_8.6+dfsg-2_armel.deb2025-04-27 21:17:0536.16 MB
📄 acl2_8.6+dfsg-2_armhf.deb2025-04-28 17:17:5436.57 MB
📄 acl2_8.6+dfsg-2_i386.deb2025-04-27 19:25:1638.8 MB
📄 acl2_8.6+dfsg-2_ppc64el.deb2025-04-27 19:30:2335.47 MB
📄 acl2_8.6+dfsg-2_riscv64.deb2025-05-02 01:29:2135.44 MB
📄 acl2_8.6+dfsg-2_s390x.deb2025-04-28 03:56:3738.01 MB
📄 acl2_8.6+dfsg-3.debian.tar.xz2025-05-14 14:10:11694.53 KB
📄 acl2_8.6+dfsg-3.dsc2025-05-14 14:10:112.23 KB
📄 acl2_8.6+dfsg-3_amd64.deb2025-05-14 20:40:1035.44 MB
📄 acl2_8.6+dfsg-3_arm64.deb2025-05-15 13:47:4836.45 MB
📄 acl2_8.6+dfsg-3_armel.deb2025-05-14 23:03:0536.06 MB
📄 acl2_8.6+dfsg-3_armhf.deb2025-05-14 22:17:2338.2 MB
📄 acl2_8.6+dfsg-3_i386.deb2025-05-14 22:27:3439.18 MB
📄 acl2_8.6+dfsg-3_mips64el.deb2025-05-16 08:19:1235.66 MB
📄 acl2_8.6+dfsg-3_ppc64el.deb2025-05-14 20:09:3935.37 MB
📄 acl2_8.6+dfsg-3_riscv64.deb2025-05-19 03:00:1935.39 MB
📄 acl2_8.6+dfsg-3_s390x.deb2025-05-15 02:09:0837.88 MB
📄 acl2_8.6+dfsg.orig.tar.gz2025-04-26 21:21:59229.2 MB
📄 elpa-acl2_8.5dfsg-5_all.deb2023-01-16 14:55:5768.97 KB
📄 elpa-acl2_8.6+dfsg-2_all.deb2025-04-27 19:56:1676.43 KB
📄 elpa-acl2_8.6+dfsg-3_all.deb2025-05-14 20:24:4676.62 KB