| .. |
|
|
|
acl2-books-certs_8.3dfsg-2_all.deb
|
2021-01-28 02:25:23 |
138.65 MiB
|
|
acl2-books-certs_8.5dfsg-5_all.deb
|
2023-01-16 14:55:57 |
170.11 MiB
|
|
acl2-books-certs_8.6+dfsg-2_all.deb
|
2025-04-27 19:56:16 |
211.35 MiB
|
|
acl2-books-certs_8.7+dfsg-2_all.deb
|
2026-06-17 21:12:49 |
232.12 MiB
|
|
acl2-books-certs_8.7+dfsg-3_all.deb
|
2026-07-17 21:29:22 |
232.51 MiB
|
|
acl2-books-source_8.3dfsg-2_all.deb
|
2021-01-28 02:25:23 |
18.63 MiB
|
|
acl2-books-source_8.5dfsg-5_all.deb
|
2023-01-16 14:55:57 |
23.52 MiB
|
|
acl2-books-source_8.6+dfsg-2_all.deb
|
2025-04-27 19:56:16 |
26.23 MiB
|
|
acl2-books-source_8.7+dfsg-2_all.deb
|
2026-06-17 21:12:49 |
28.36 MiB
|
|
acl2-books-source_8.7+dfsg-3_all.deb
|
2026-07-17 21:29:22 |
28.36 MiB
|
|
acl2-books_8.3dfsg-2_amd64.deb
|
2021-01-27 21:57:13 |
241.16 MiB
|
|
acl2-books_8.3dfsg-2_arm64.deb
|
2021-01-28 15:43:01 |
236.00 MiB
|
|
acl2-books_8.3dfsg-2_armhf.deb
|
2021-01-28 06:42:54 |
222.95 MiB
|
|
acl2-books_8.3dfsg-2_i386.deb
|
2021-01-27 22:22:26 |
203.94 MiB
|
|
acl2-books_8.5dfsg-5_amd64.deb
|
2023-01-16 20:15:10 |
286.96 MiB
|
|
acl2-books_8.5dfsg-5_arm64.deb
|
2023-01-17 21:13:23 |
289.41 MiB
|
|
acl2-books_8.5dfsg-5_armel.deb
|
2023-01-17 19:26:45 |
267.80 MiB
|
|
acl2-books_8.5dfsg-5_armhf.deb
|
2023-01-17 11:32:25 |
271.70 MiB
|
|
acl2-books_8.5dfsg-5_i386.deb
|
2023-01-16 15:16:26 |
247.58 MiB
|
|
acl2-books_8.5dfsg-5_mips64el.deb
|
2023-01-23 12:58:23 |
309.47 MiB
|
|
acl2-books_8.5dfsg-5_mipsel.deb
|
2023-01-22 00:30:47 |
284.55 MiB
|
|
acl2-books_8.5dfsg-5_ppc64el.deb
|
2023-01-18 20:10:39 |
291.50 MiB
|
|
acl2-books_8.5dfsg-5_s390x.deb
|
2023-01-16 14:30:31 |
267.37 MiB
|
|
acl2-books_8.6+dfsg-2_amd64.deb
|
2025-04-27 19:40:58 |
415.56 MiB
|
|
acl2-books_8.6+dfsg-2_arm64.deb
|
2025-04-27 19:56:10 |
412.49 MiB
|
|
acl2-books_8.6+dfsg-2_armel.deb
|
2025-04-27 21:17:05 |
385.63 MiB
|
|
acl2-books_8.6+dfsg-2_armhf.deb
|
2025-04-28 17:17:54 |
394.63 MiB
|
|
acl2-books_8.6+dfsg-2_i386.deb
|
2025-04-27 19:25:16 |
344.28 MiB
|
|
acl2-books_8.6+dfsg-2_ppc64el.deb
|
2025-04-27 19:30:23 |
429.78 MiB
|
|
acl2-books_8.6+dfsg-2_riscv64.deb
|
2025-05-02 01:29:20 |
936.03 MiB
|
|
acl2-books_8.6+dfsg-2_s390x.deb
|
2025-04-28 03:56:37 |
416.71 MiB
|
|
acl2-books_8.7+dfsg-2_amd64.deb
|
2026-06-17 21:23:20 |
456.55 MiB
|
|
acl2-books_8.7+dfsg-2_arm64.deb
|
2026-06-17 20:31:54 |
448.09 MiB
|
|
acl2-books_8.7+dfsg-2_armhf.deb
|
2026-06-18 01:08:48 |
434.81 MiB
|
|
acl2-books_8.7+dfsg-2_i386.deb
|
2026-06-18 01:39:47 |
397.68 MiB
|
|
acl2-books_8.7+dfsg-2_loong64.deb
|
2026-06-18 10:18:17 |
591.43 MiB
|
|
acl2-books_8.7+dfsg-2_ppc64el.deb
|
2026-06-17 21:57:33 |
486.66 MiB
|
|
acl2-books_8.7+dfsg-2_riscv64.deb
|
2026-06-27 06:29:38 |
1.17 GiB
|
|
acl2-books_8.7+dfsg-2_s390x.deb
|
2026-06-18 02:00:16 |
459.20 MiB
|
|
acl2-books_8.7+dfsg-3_amd64.deb
|
2026-07-17 21:19:09 |
456.62 MiB
|
|
acl2-books_8.7+dfsg-3_arm64.deb
|
2026-07-17 20:32:00 |
448.41 MiB
|
|
acl2-books_8.7+dfsg-3_armhf.deb
|
2026-07-17 22:27:44 |
434.66 MiB
|
|
acl2-books_8.7+dfsg-3_i386.deb
|
2026-07-18 01:20:23 |
397.55 MiB
|
|
acl2-books_8.7+dfsg-3_loong64.deb
|
2026-07-18 07:23:36 |
591.31 MiB
|
|
acl2-books_8.7+dfsg-3_ppc64el.deb
|
2026-07-17 21:57:24 |
486.57 MiB
|
|
acl2-books_8.7+dfsg-3_s390x.deb
|
2026-07-18 02:20:41 |
459.16 MiB
|
|
acl2-doc_8.3dfsg-2_all.deb
|
2021-01-28 02:25:23 |
437.12 KiB
|
|
acl2-doc_8.5dfsg-5_all.deb
|
2023-01-16 14:55:57 |
470.05 KiB
|
|
acl2-doc_8.6+dfsg-2_all.deb
|
2025-04-27 19:56:16 |
512.61 KiB
|
|
acl2-doc_8.7+dfsg-2_all.deb
|
2026-06-17 21:12:49 |
533.25 KiB
|
|
acl2-doc_8.7+dfsg-3_all.deb
|
2026-07-17 21:29:22 |
533.37 KiB
|
|
acl2-emacs_8.3dfsg-2_all.deb
|
2021-01-28 02:25:23 |
67.79 KiB
|
|
acl2-infix-source_8.3dfsg-2_all.deb
|
2021-01-28 02:25:23 |
78.01 KiB
|
|
acl2-infix-source_8.5dfsg-5_all.deb
|
2023-01-16 14:55:57 |
70.64 KiB
|
|
acl2-infix-source_8.6+dfsg-2_all.deb
|
2025-04-27 19:56:16 |
70.95 KiB
|
|
acl2-infix-source_8.7+dfsg-2_all.deb
|
2026-06-17 21:12:49 |
70.20 KiB
|
|
acl2-infix-source_8.7+dfsg-3_all.deb
|
2026-07-17 21:29:22 |
70.27 KiB
|
|
acl2-infix_8.3dfsg-2_amd64.deb
|
2021-01-27 21:57:13 |
478.79 KiB
|
|
acl2-infix_8.3dfsg-2_arm64.deb
|
2021-01-28 15:43:01 |
469.40 KiB
|
|
acl2-infix_8.3dfsg-2_armhf.deb
|
2021-01-28 06:42:54 |
478.29 KiB
|
|
acl2-infix_8.3dfsg-2_i386.deb
|
2021-01-27 22:22:26 |
484.84 KiB
|
|
acl2-infix_8.5dfsg-5_amd64.deb
|
2023-01-16 20:15:10 |
464.15 KiB
|
|
acl2-infix_8.5dfsg-5_arm64.deb
|
2023-01-17 21:13:23 |
460.66 KiB
|
|
acl2-infix_8.5dfsg-5_armel.deb
|
2023-01-17 19:26:45 |
459.09 KiB
|
|
acl2-infix_8.5dfsg-5_armhf.deb
|
2023-01-17 11:32:25 |
472.35 KiB
|
|
acl2-infix_8.5dfsg-5_i386.deb
|
2023-01-16 15:16:26 |
477.48 KiB
|
|
acl2-infix_8.5dfsg-5_mips64el.deb
|
2023-01-23 12:58:24 |
490.54 KiB
|
|
acl2-infix_8.5dfsg-5_mipsel.deb
|
2023-01-22 00:30:47 |
502.86 KiB
|
|
acl2-infix_8.5dfsg-5_ppc64el.deb
|
2023-01-18 20:10:39 |
483.03 KiB
|
|
acl2-infix_8.5dfsg-5_s390x.deb
|
2023-01-16 14:30:31 |
431.95 KiB
|
|
acl2-infix_8.6+dfsg-2_amd64.deb
|
2025-04-27 19:40:58 |
866.02 KiB
|
|
acl2-infix_8.6+dfsg-2_arm64.deb
|
2025-04-27 19:56:10 |
833.77 KiB
|
|
acl2-infix_8.6+dfsg-2_armel.deb
|
2025-04-27 21:17:05 |
814.59 KiB
|
|
acl2-infix_8.6+dfsg-2_armhf.deb
|
2025-04-28 17:17:54 |
845.52 KiB
|
|
acl2-infix_8.6+dfsg-2_i386.deb
|
2025-04-27 19:25:16 |
852.23 KiB
|
|
acl2-infix_8.6+dfsg-2_ppc64el.deb
|
2025-04-27 19:30:23 |
885.39 KiB
|
|
acl2-infix_8.6+dfsg-2_riscv64.deb
|
2025-05-02 01:29:20 |
1.83 MiB
|
|
acl2-infix_8.6+dfsg-2_s390x.deb
|
2025-04-28 03:56:37 |
863.89 KiB
|
|
acl2-infix_8.7+dfsg-2_amd64.deb
|
2026-06-17 21:23:20 |
873.53 KiB
|
|
acl2-infix_8.7+dfsg-2_arm64.deb
|
2026-06-17 20:31:54 |
844.04 KiB
|
|
acl2-infix_8.7+dfsg-2_armhf.deb
|
2026-06-18 01:08:48 |
872.36 KiB
|
|
acl2-infix_8.7+dfsg-2_i386.deb
|
2026-06-18 01:39:47 |
864.45 KiB
|
|
acl2-infix_8.7+dfsg-2_loong64.deb
|
2026-06-18 10:18:17 |
1.06 MiB
|
|
acl2-infix_8.7+dfsg-2_ppc64el.deb
|
2026-06-17 21:57:33 |
906.44 KiB
|
|
acl2-infix_8.7+dfsg-2_riscv64.deb
|
2026-06-27 06:29:38 |
2.14 MiB
|
|
acl2-infix_8.7+dfsg-2_s390x.deb
|
2026-06-18 02:00:16 |
878.35 KiB
|
|
acl2-infix_8.7+dfsg-3_amd64.deb
|
2026-07-17 21:19:09 |
875.62 KiB
|
|
acl2-infix_8.7+dfsg-3_arm64.deb
|
2026-07-17 20:32:00 |
843.85 KiB
|
|
acl2-infix_8.7+dfsg-3_armhf.deb
|
2026-07-17 22:27:44 |
869.55 KiB
|
|
acl2-infix_8.7+dfsg-3_i386.deb
|
2026-07-18 01:20:23 |
863.57 KiB
|
|
acl2-infix_8.7+dfsg-3_loong64.deb
|
2026-07-18 07:23:36 |
1.06 MiB
|
|
acl2-infix_8.7+dfsg-3_ppc64el.deb
|
2026-07-17 21:57:24 |
905.09 KiB
|
|
acl2-infix_8.7+dfsg-3_s390x.deb
|
2026-07-18 02:20:41 |
879.08 KiB
|
|
acl2-source_8.3dfsg-2_all.deb
|
2021-01-28 02:25:23 |
3.19 MiB
|
|
acl2-source_8.5dfsg-5_all.deb
|
2023-01-16 14:55:57 |
3.42 MiB
|
|
acl2-source_8.6+dfsg-2_all.deb
|
2025-04-27 19:56:16 |
3.81 MiB
|
|
acl2-source_8.7+dfsg-2_all.deb
|
2026-06-17 21:12:49 |
3.88 MiB
|
|
acl2-source_8.7+dfsg-3_all.deb
|
2026-07-17 21:29:22 |
3.88 MiB
|
|
acl2_8.3dfsg-2.debian.tar.xz
|
2021-01-27 14:34:22 |
222.97 KiB
|
|
acl2_8.3dfsg-2.dsc
|
2021-01-27 14:34:22 |
2.22 KiB
|
|
acl2_8.3dfsg-2_amd64.deb
|
2021-01-27 21:57:13 |
20.49 MiB
|
|
acl2_8.3dfsg-2_arm64.deb
|
2021-01-28 15:43:01 |
18.97 MiB
|
|
acl2_8.3dfsg-2_armhf.deb
|
2021-01-28 06:42:54 |
17.72 MiB
|
|
acl2_8.3dfsg-2_i386.deb
|
2021-01-27 22:22:27 |
18.58 MiB
|
|
acl2_8.3dfsg.orig.tar.gz
|
2020-08-24 02:39:38 |
111.83 MiB
|
|
acl2_8.5dfsg-5.debian.tar.xz
|
2023-01-16 02:00:06 |
305.56 KiB
|
|
acl2_8.5dfsg-5.dsc
|
2023-01-16 02:00:06 |
2.21 KiB
|
|
acl2_8.5dfsg-5_amd64.deb
|
2023-01-16 20:15:10 |
22.32 MiB
|
|
acl2_8.5dfsg-5_arm64.deb
|
2023-01-17 21:13:23 |
20.59 MiB
|
|
acl2_8.5dfsg-5_armel.deb
|
2023-01-17 19:26:45 |
18.18 MiB
|
|
acl2_8.5dfsg-5_armhf.deb
|
2023-01-17 11:32:25 |
18.68 MiB
|
|
acl2_8.5dfsg-5_i386.deb
|
2023-01-16 15:16:26 |
19.43 MiB
|
|
acl2_8.5dfsg-5_mips64el.deb
|
2023-01-23 12:58:24 |
19.65 MiB
|
|
acl2_8.5dfsg-5_mipsel.deb
|
2023-01-22 00:30:47 |
18.90 MiB
|
|
acl2_8.5dfsg-5_ppc64el.deb
|
2023-01-18 20:10:40 |
22.07 MiB
|
|
acl2_8.5dfsg-5_s390x.deb
|
2023-01-16 14:30:31 |
20.98 MiB
|
|
acl2_8.5dfsg.orig.tar.gz
|
2022-07-27 14:13:36 |
213.19 MiB
|
|
acl2_8.6+dfsg-2.debian.tar.xz
|
2025-04-27 12:54:28 |
434.70 KiB
|
|
acl2_8.6+dfsg-2.dsc
|
2025-04-27 12:54:28 |
2.23 KiB
|
|
acl2_8.6+dfsg-2_amd64.deb
|
2025-04-27 19:40:58 |
35.19 MiB
|
|
acl2_8.6+dfsg-2_arm64.deb
|
2025-04-27 19:56:10 |
34.91 MiB
|
|
acl2_8.6+dfsg-2_armel.deb
|
2025-04-27 21:17:05 |
36.16 MiB
|
|
acl2_8.6+dfsg-2_armhf.deb
|
2025-04-28 17:17:54 |
36.57 MiB
|
|
acl2_8.6+dfsg-2_i386.deb
|
2025-04-27 19:25:16 |
38.80 MiB
|
|
acl2_8.6+dfsg-2_ppc64el.deb
|
2025-04-27 19:30:23 |
35.47 MiB
|
|
acl2_8.6+dfsg-2_riscv64.deb
|
2025-05-02 01:29:21 |
35.44 MiB
|
|
acl2_8.6+dfsg-2_s390x.deb
|
2025-04-28 03:56:37 |
38.01 MiB
|
|
acl2_8.6+dfsg.orig.tar.gz
|
2025-04-26 21:21:59 |
229.20 MiB
|
|
acl2_8.7+dfsg-2.debian.tar.xz
|
2026-06-17 14:31:28 |
880.88 KiB
|
|
acl2_8.7+dfsg-2.dsc
|
2026-06-17 14:31:28 |
2.23 KiB
|
|
acl2_8.7+dfsg-2_amd64.deb
|
2026-06-17 21:23:20 |
35.61 MiB
|
|
acl2_8.7+dfsg-2_arm64.deb
|
2026-06-17 20:31:54 |
36.16 MiB
|
|
acl2_8.7+dfsg-2_armhf.deb
|
2026-06-18 01:08:48 |
38.09 MiB
|
|
acl2_8.7+dfsg-2_i386.deb
|
2026-06-18 01:39:47 |
37.96 MiB
|
|
acl2_8.7+dfsg-2_loong64.deb
|
2026-06-18 10:18:17 |
37.43 MiB
|
|
acl2_8.7+dfsg-2_ppc64el.deb
|
2026-06-17 21:57:33 |
36.75 MiB
|
|
acl2_8.7+dfsg-2_riscv64.deb
|
2026-06-27 06:29:38 |
37.19 MiB
|
|
acl2_8.7+dfsg-2_s390x.deb
|
2026-06-18 02:00:17 |
46.21 MiB
|
|
acl2_8.7+dfsg-3.debian.tar.xz
|
2026-07-17 15:14:11 |
880.79 KiB
|
|
acl2_8.7+dfsg-3.dsc
|
2026-07-17 15:14:11 |
2.23 KiB
|
|
acl2_8.7+dfsg-3_amd64.deb
|
2026-07-17 21:19:09 |
34.23 MiB
|
|
acl2_8.7+dfsg-3_arm64.deb
|
2026-07-17 20:32:00 |
31.02 MiB
|
|
acl2_8.7+dfsg-3_armhf.deb
|
2026-07-17 22:27:44 |
33.27 MiB
|
|
acl2_8.7+dfsg-3_i386.deb
|
2026-07-18 01:20:23 |
35.19 MiB
|
|
acl2_8.7+dfsg-3_loong64.deb
|
2026-07-18 07:23:36 |
32.28 MiB
|
|
acl2_8.7+dfsg-3_ppc64el.deb
|
2026-07-17 21:57:24 |
31.82 MiB
|
|
acl2_8.7+dfsg-3_s390x.deb
|
2026-07-18 02:20:41 |
36.71 MiB
|
|
acl2_8.7+dfsg.orig.tar.gz
|
2026-06-17 08:01:39 |
238.23 MiB
|
|
elpa-acl2_8.5dfsg-5_all.deb
|
2023-01-16 14:55:57 |
68.97 KiB
|
|
elpa-acl2_8.6+dfsg-2_all.deb
|
2025-04-27 19:56:16 |
76.43 KiB
|
|
elpa-acl2_8.7+dfsg-2_all.deb
|
2026-06-17 21:12:49 |
75.73 KiB
|
|
elpa-acl2_8.7+dfsg-3_all.deb
|
2026-07-17 21:29:22 |
75.77 KiB
|