| ../ |
- |
- |
| acl2-books-certs_8.3dfsg-2_all.deb |
138.7 MB |
2021-01-28 02:25 |
| acl2-books-certs_8.5dfsg-5_all.deb |
170.1 MB |
2023-01-16 14:55 |
| acl2-books-certs_8.6+dfsg-2_all.deb |
211.4 MB |
2025-04-27 19:56 |
| acl2-books-certs_8.6+dfsg-3_all.deb |
211.6 MB |
2025-05-14 20:24 |
| acl2-books-source_8.3dfsg-2_all.deb |
18.6 MB |
2021-01-28 02:25 |
| acl2-books-source_8.5dfsg-5_all.deb |
23.5 MB |
2023-01-16 14:55 |
| acl2-books-source_8.6+dfsg-2_all.deb |
26.2 MB |
2025-04-27 19:56 |
| acl2-books-source_8.6+dfsg-3_all.deb |
26.2 MB |
2025-05-14 20:24 |
| acl2-books_8.3dfsg-2_amd64.deb |
241.2 MB |
2021-01-27 21:57 |
| acl2-books_8.3dfsg-2_arm64.deb |
236.0 MB |
2021-01-28 15:43 |
| acl2-books_8.3dfsg-2_armhf.deb |
222.9 MB |
2021-01-28 06:42 |
| acl2-books_8.3dfsg-2_i386.deb |
203.9 MB |
2021-01-27 22:22 |
| acl2-books_8.5dfsg-5_amd64.deb |
287.0 MB |
2023-01-16 20:15 |
| acl2-books_8.5dfsg-5_arm64.deb |
289.4 MB |
2023-01-17 21:13 |
| acl2-books_8.5dfsg-5_armel.deb |
267.8 MB |
2023-01-17 19:26 |
| acl2-books_8.5dfsg-5_armhf.deb |
271.7 MB |
2023-01-17 11:32 |
| acl2-books_8.5dfsg-5_i386.deb |
247.6 MB |
2023-01-16 15:16 |
| acl2-books_8.5dfsg-5_mips64el.deb |
309.5 MB |
2023-01-23 12:58 |
| acl2-books_8.5dfsg-5_mipsel.deb |
284.6 MB |
2023-01-22 00:30 |
| acl2-books_8.5dfsg-5_ppc64el.deb |
291.5 MB |
2023-01-18 20:10 |
| acl2-books_8.5dfsg-5_s390x.deb |
267.4 MB |
2023-01-16 14:30 |
| acl2-books_8.6+dfsg-2_amd64.deb |
415.6 MB |
2025-04-27 19:40 |
| acl2-books_8.6+dfsg-2_arm64.deb |
412.5 MB |
2025-04-27 19:56 |
| acl2-books_8.6+dfsg-2_armel.deb |
385.6 MB |
2025-04-27 21:17 |
| acl2-books_8.6+dfsg-2_armhf.deb |
394.6 MB |
2025-04-28 17:17 |
| acl2-books_8.6+dfsg-2_i386.deb |
344.3 MB |
2025-04-27 19:25 |
| acl2-books_8.6+dfsg-2_ppc64el.deb |
429.8 MB |
2025-04-27 19:30 |
| acl2-books_8.6+dfsg-2_riscv64.deb |
936.0 MB |
2025-05-02 01:29 |
| acl2-books_8.6+dfsg-2_s390x.deb |
416.7 MB |
2025-04-28 03:56 |
| acl2-books_8.6+dfsg-3+b1_arm64.deb |
409.9 MB |
2026-01-20 05:36 |
| acl2-books_8.6+dfsg-3_amd64.deb |
415.6 MB |
2025-05-14 20:40 |
| acl2-books_8.6+dfsg-3_armhf.deb |
394.7 MB |
2025-05-14 22:17 |
| acl2-books_8.6+dfsg-3_i386.deb |
344.3 MB |
2025-05-14 22:27 |
| acl2-books_8.6+dfsg-3_loong64.deb |
528.4 MB |
2025-12-28 15:46 |
| acl2-books_8.6+dfsg-3_ppc64el.deb |
429.9 MB |
2025-05-14 20:09 |
| acl2-books_8.6+dfsg-3_riscv64.deb |
936.6 MB |
2025-05-19 03:00 |
| acl2-books_8.6+dfsg-3_s390x.deb |
416.5 MB |
2025-05-15 02:09 |
| acl2-doc_8.3dfsg-2_all.deb |
437.1 KB |
2021-01-28 02:25 |
| acl2-doc_8.5dfsg-5_all.deb |
470.0 KB |
2023-01-16 14:55 |
| acl2-doc_8.6+dfsg-2_all.deb |
512.6 KB |
2025-04-27 19:56 |
| acl2-doc_8.6+dfsg-3_all.deb |
512.8 KB |
2025-05-14 20:24 |
| acl2-emacs_8.3dfsg-2_all.deb |
67.8 KB |
2021-01-28 02:25 |
| acl2-infix-source_8.3dfsg-2_all.deb |
78.0 KB |
2021-01-28 02:25 |
| acl2-infix-source_8.5dfsg-5_all.deb |
70.6 KB |
2023-01-16 14:55 |
| acl2-infix-source_8.6+dfsg-2_all.deb |
70.9 KB |
2025-04-27 19:56 |
| acl2-infix-source_8.6+dfsg-3_all.deb |
71.1 KB |
2025-05-14 20:24 |
| acl2-infix_8.3dfsg-2_amd64.deb |
478.8 KB |
2021-01-27 21:57 |
| acl2-infix_8.3dfsg-2_arm64.deb |
469.4 KB |
2021-01-28 15:43 |
| acl2-infix_8.3dfsg-2_armhf.deb |
478.3 KB |
2021-01-28 06:42 |
| acl2-infix_8.3dfsg-2_i386.deb |
484.8 KB |
2021-01-27 22:22 |
| acl2-infix_8.5dfsg-5_amd64.deb |
464.1 KB |
2023-01-16 20:15 |
| acl2-infix_8.5dfsg-5_arm64.deb |
460.7 KB |
2023-01-17 21:13 |
| acl2-infix_8.5dfsg-5_armel.deb |
459.1 KB |
2023-01-17 19:26 |
| acl2-infix_8.5dfsg-5_armhf.deb |
472.4 KB |
2023-01-17 11:32 |
| acl2-infix_8.5dfsg-5_i386.deb |
477.5 KB |
2023-01-16 15:16 |
| acl2-infix_8.5dfsg-5_mips64el.deb |
490.5 KB |
2023-01-23 12:58 |
| acl2-infix_8.5dfsg-5_mipsel.deb |
502.9 KB |
2023-01-22 00:30 |
| acl2-infix_8.5dfsg-5_ppc64el.deb |
483.0 KB |
2023-01-18 20:10 |
| acl2-infix_8.5dfsg-5_s390x.deb |
432.0 KB |
2023-01-16 14:30 |
| acl2-infix_8.6+dfsg-2_amd64.deb |
866.0 KB |
2025-04-27 19:40 |
| acl2-infix_8.6+dfsg-2_arm64.deb |
833.8 KB |
2025-04-27 19:56 |
| acl2-infix_8.6+dfsg-2_armel.deb |
814.6 KB |
2025-04-27 21:17 |
| acl2-infix_8.6+dfsg-2_armhf.deb |
845.5 KB |
2025-04-28 17:17 |
| acl2-infix_8.6+dfsg-2_i386.deb |
852.2 KB |
2025-04-27 19:25 |
| acl2-infix_8.6+dfsg-2_ppc64el.deb |
885.4 KB |
2025-04-27 19:30 |
| acl2-infix_8.6+dfsg-2_riscv64.deb |
1.8 MB |
2025-05-02 01:29 |
| acl2-infix_8.6+dfsg-2_s390x.deb |
863.9 KB |
2025-04-28 03:56 |
| acl2-infix_8.6+dfsg-3+b1_arm64.deb |
825.8 KB |
2026-01-20 05:36 |
| acl2-infix_8.6+dfsg-3_amd64.deb |
864.8 KB |
2025-05-14 20:40 |
| acl2-infix_8.6+dfsg-3_armhf.deb |
846.4 KB |
2025-05-14 22:17 |
| acl2-infix_8.6+dfsg-3_i386.deb |
852.5 KB |
2025-05-14 22:27 |
| acl2-infix_8.6+dfsg-3_loong64.deb |
1.0 MB |
2025-12-28 15:46 |
| acl2-infix_8.6+dfsg-3_ppc64el.deb |
882.0 KB |
2025-05-14 20:09 |
| acl2-infix_8.6+dfsg-3_riscv64.deb |
1.8 MB |
2025-05-19 03:00 |
| acl2-infix_8.6+dfsg-3_s390x.deb |
862.9 KB |
2025-05-15 02:09 |
| acl2-source_8.3dfsg-2_all.deb |
3.2 MB |
2021-01-28 02:25 |
| acl2-source_8.5dfsg-5_all.deb |
3.4 MB |
2023-01-16 14:55 |
| acl2-source_8.6+dfsg-2_all.deb |
3.8 MB |
2025-04-27 19:56 |
| acl2-source_8.6+dfsg-3_all.deb |
3.8 MB |
2025-05-14 20:24 |
| acl2_8.3dfsg-2.debian.tar.xz |
223.0 KB |
2021-01-27 14:34 |
| acl2_8.3dfsg-2.dsc |
2.2 KB |
2021-01-27 14:34 |
| acl2_8.3dfsg-2_amd64.deb |
20.5 MB |
2021-01-27 21:57 |
| acl2_8.3dfsg-2_arm64.deb |
19.0 MB |
2021-01-28 15:43 |
| acl2_8.3dfsg-2_armhf.deb |
17.7 MB |
2021-01-28 06:42 |
| acl2_8.3dfsg-2_i386.deb |
18.6 MB |
2021-01-27 22:22 |
| acl2_8.3dfsg.orig.tar.gz |
111.8 MB |
2020-08-24 02:39 |
| acl2_8.5dfsg-5.debian.tar.xz |
305.6 KB |
2023-01-16 02:00 |
| acl2_8.5dfsg-5.dsc |
2.2 KB |
2023-01-16 02:00 |
| acl2_8.5dfsg-5_amd64.deb |
22.3 MB |
2023-01-16 20:15 |
| acl2_8.5dfsg-5_arm64.deb |
20.6 MB |
2023-01-17 21:13 |
| acl2_8.5dfsg-5_armel.deb |
18.2 MB |
2023-01-17 19:26 |
| acl2_8.5dfsg-5_armhf.deb |
18.7 MB |
2023-01-17 11:32 |
| acl2_8.5dfsg-5_i386.deb |
19.4 MB |
2023-01-16 15:16 |
| acl2_8.5dfsg-5_mips64el.deb |
19.6 MB |
2023-01-23 12:58 |
| acl2_8.5dfsg-5_mipsel.deb |
18.9 MB |
2023-01-22 00:30 |
| acl2_8.5dfsg-5_ppc64el.deb |
22.1 MB |
2023-01-18 20:10 |
| acl2_8.5dfsg-5_s390x.deb |
21.0 MB |
2023-01-16 14:30 |
| acl2_8.5dfsg.orig.tar.gz |
213.2 MB |
2022-07-27 14:13 |
| acl2_8.6+dfsg-2.debian.tar.xz |
434.7 KB |
2025-04-27 12:54 |
| acl2_8.6+dfsg-2.dsc |
2.2 KB |
2025-04-27 12:54 |
| acl2_8.6+dfsg-2_amd64.deb |
35.2 MB |
2025-04-27 19:40 |
| acl2_8.6+dfsg-2_arm64.deb |
34.9 MB |
2025-04-27 19:56 |
| acl2_8.6+dfsg-2_armel.deb |
36.2 MB |
2025-04-27 21:17 |
| acl2_8.6+dfsg-2_armhf.deb |
36.6 MB |
2025-04-28 17:17 |
| acl2_8.6+dfsg-2_i386.deb |
38.8 MB |
2025-04-27 19:25 |
| acl2_8.6+dfsg-2_ppc64el.deb |
35.5 MB |
2025-04-27 19:30 |
| acl2_8.6+dfsg-2_riscv64.deb |
35.4 MB |
2025-05-02 01:29 |
| acl2_8.6+dfsg-2_s390x.deb |
38.0 MB |
2025-04-28 03:56 |
| acl2_8.6+dfsg-3+b1_arm64.deb |
35.0 MB |
2026-01-20 05:36 |
| acl2_8.6+dfsg-3.debian.tar.xz |
694.5 KB |
2025-05-14 14:10 |
| acl2_8.6+dfsg-3.dsc |
2.2 KB |
2025-05-14 14:10 |
| acl2_8.6+dfsg-3_amd64.deb |
35.4 MB |
2025-05-14 20:40 |
| acl2_8.6+dfsg-3_armhf.deb |
38.2 MB |
2025-05-14 22:17 |
| acl2_8.6+dfsg-3_i386.deb |
39.2 MB |
2025-05-14 22:27 |
| acl2_8.6+dfsg-3_loong64.deb |
35.6 MB |
2025-12-28 15:46 |
| acl2_8.6+dfsg-3_ppc64el.deb |
35.4 MB |
2025-05-14 20:09 |
| acl2_8.6+dfsg-3_riscv64.deb |
35.4 MB |
2025-05-19 03:00 |
| acl2_8.6+dfsg-3_s390x.deb |
37.9 MB |
2025-05-15 02:09 |
| acl2_8.6+dfsg.orig.tar.gz |
229.2 MB |
2025-04-26 21:21 |
| elpa-acl2_8.5dfsg-5_all.deb |
69.0 KB |
2023-01-16 14:55 |
| elpa-acl2_8.6+dfsg-2_all.deb |
76.4 KB |
2025-04-27 19:56 |
| elpa-acl2_8.6+dfsg-3_all.deb |
76.6 KB |
2025-05-14 20:24 |