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.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.7+dfsg-3_all.deb2026-07-17 21:29:22232.51 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.7+dfsg-3_all.deb2026-07-17 21:29:2228.36 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_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.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.7+dfsg-3_amd64.deb2026-07-17 21:19:09456.62 MB
📄 acl2-books_8.7+dfsg-3_arm64.deb2026-07-17 20:32:00448.41 MB
📄 acl2-books_8.7+dfsg-3_armhf.deb2026-07-17 22:27:44434.66 MB
📄 acl2-books_8.7+dfsg-3_i386.deb2026-07-18 01:20:23397.55 MB
📄 acl2-books_8.7+dfsg-3_loong64.deb2026-07-18 07:23:36591.31 MB
📄 acl2-books_8.7+dfsg-3_ppc64el.deb2026-07-17 21:57:24486.57 MB
📄 acl2-books_8.7+dfsg-3_riscv64.deb2026-07-23 16:58:121.17 GB
📄 acl2-books_8.7+dfsg-3_s390x.deb2026-07-18 02:20:41459.16 MB
📄 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.7+dfsg-3_all.deb2026-07-17 21:29:22533.37 KB
📄 acl2-emacs_8.3dfsg-2_all.deb2021-01-28 02:25:2367.79 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.7+dfsg-3_all.deb2026-07-17 21:29:2270.27 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_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.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.7+dfsg-3_amd64.deb2026-07-17 21:19:09875.63 KB
📄 acl2-infix_8.7+dfsg-3_arm64.deb2026-07-17 20:32:00843.85 KB
📄 acl2-infix_8.7+dfsg-3_armhf.deb2026-07-17 22:27:44869.55 KB
📄 acl2-infix_8.7+dfsg-3_i386.deb2026-07-18 01:20:23863.57 KB
📄 acl2-infix_8.7+dfsg-3_loong64.deb2026-07-18 07:23:361.06 MB
📄 acl2-infix_8.7+dfsg-3_ppc64el.deb2026-07-17 21:57:24905.09 KB
📄 acl2-infix_8.7+dfsg-3_riscv64.deb2026-07-23 16:58:122.1 MB
📄 acl2-infix_8.7+dfsg-3_s390x.deb2026-07-18 02:20:41879.08 KB
📄 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.7+dfsg-3_all.deb2026-07-17 21:29:223.88 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_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.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.orig.tar.gz2025-04-26 21:21:59229.2 MB
📄 acl2_8.7+dfsg-3.debian.tar.xz2026-07-17 15:14:11880.79 KB
📄 acl2_8.7+dfsg-3.dsc2026-07-17 15:14:112.23 KB
📄 acl2_8.7+dfsg-3_amd64.deb2026-07-17 21:19:0934.23 MB
📄 acl2_8.7+dfsg-3_arm64.deb2026-07-17 20:32:0031.02 MB
📄 acl2_8.7+dfsg-3_armhf.deb2026-07-17 22:27:4433.27 MB
📄 acl2_8.7+dfsg-3_i386.deb2026-07-18 01:20:2335.19 MB
📄 acl2_8.7+dfsg-3_loong64.deb2026-07-18 07:23:3632.28 MB
📄 acl2_8.7+dfsg-3_ppc64el.deb2026-07-17 21:57:2431.82 MB
📄 acl2_8.7+dfsg-3_riscv64.deb2026-07-23 16:58:1232.31 MB
📄 acl2_8.7+dfsg-3_s390x.deb2026-07-18 02:20:4136.71 MB
📄 acl2_8.7+dfsg.orig.tar.gz2026-06-17 08:01:39238.23 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.7+dfsg-3_all.deb2026-07-17 21:29:2275.77 KB