|
../ |
— |
— |
|
acl2_8.3dfsg-2_amd64.deb |
20.5 MB |
Jan 27, 2021 |
|
acl2_8.3dfsg-2_arm64.deb |
19 MB |
Jan 28, 2021 |
|
acl2_8.3dfsg-2_armhf.deb |
17.7 MB |
Jan 28, 2021 |
|
acl2_8.3dfsg-2_i386.deb |
18.6 MB |
Jan 27, 2021 |
|
acl2_8.3dfsg-2.debian.tar.xz |
223 KB |
Jan 27, 2021 |
|
acl2_8.3dfsg-2.dsc |
2.2 KB |
Jan 27, 2021 |
|
acl2_8.3dfsg.orig.tar.gz |
111.8 MB |
Aug 23, 2020 |
|
acl2_8.5dfsg-5_amd64.deb |
22.3 MB |
Jan 16, 2023 |
|
acl2_8.5dfsg-5_arm64.deb |
20.6 MB |
Jan 17, 2023 |
|
acl2_8.5dfsg-5_armel.deb |
18.2 MB |
Jan 17, 2023 |
|
acl2_8.5dfsg-5_armhf.deb |
18.7 MB |
Jan 17, 2023 |
|
acl2_8.5dfsg-5_i386.deb |
19.4 MB |
Jan 16, 2023 |
|
acl2_8.5dfsg-5_mips64el.deb |
19.6 MB |
Jan 23, 2023 |
|
acl2_8.5dfsg-5_mipsel.deb |
18.9 MB |
Jan 21, 2023 |
|
acl2_8.5dfsg-5_ppc64el.deb |
22.1 MB |
Jan 18, 2023 |
|
acl2_8.5dfsg-5_s390x.deb |
21 MB |
Jan 16, 2023 |
|
acl2_8.5dfsg-5.debian.tar.xz |
305.6 KB |
Jan 15, 2023 |
|
acl2_8.5dfsg-5.dsc |
2.2 KB |
Jan 15, 2023 |
|
acl2_8.5dfsg.orig.tar.gz |
213.2 MB |
Jul 27, 2022 |
|
acl2_8.6+dfsg-2_amd64.deb |
35.2 MB |
Apr 27, 2025 |
|
acl2_8.6+dfsg-2_arm64.deb |
34.9 MB |
Apr 27, 2025 |
|
acl2_8.6+dfsg-2_armel.deb |
36.2 MB |
Apr 27, 2025 |
|
acl2_8.6+dfsg-2_armhf.deb |
36.6 MB |
Apr 28, 2025 |
|
acl2_8.6+dfsg-2_i386.deb |
38.8 MB |
Apr 27, 2025 |
|
acl2_8.6+dfsg-2_ppc64el.deb |
35.5 MB |
Apr 27, 2025 |
|
acl2_8.6+dfsg-2_riscv64.deb |
35.4 MB |
May 1, 2025 |
|
acl2_8.6+dfsg-2_s390x.deb |
38 MB |
Apr 27, 2025 |
|
acl2_8.6+dfsg-2.debian.tar.xz |
434.7 KB |
Apr 27, 2025 |
|
acl2_8.6+dfsg-2.dsc |
2.2 KB |
Apr 27, 2025 |
|
acl2_8.6+dfsg-3_amd64.deb |
35.4 MB |
May 14, 2025 |
|
acl2_8.6+dfsg-3_armhf.deb |
38.2 MB |
May 14, 2025 |
|
acl2_8.6+dfsg-3_i386.deb |
39.2 MB |
May 14, 2025 |
|
acl2_8.6+dfsg-3_loong64.deb |
35.6 MB |
Dec 28, 2025 |
|
acl2_8.6+dfsg-3_ppc64el.deb |
35.4 MB |
May 14, 2025 |
|
acl2_8.6+dfsg-3_riscv64.deb |
35.4 MB |
May 18, 2025 |
|
acl2_8.6+dfsg-3_s390x.deb |
37.9 MB |
May 14, 2025 |
|
acl2_8.6+dfsg-3.debian.tar.xz |
694.5 KB |
May 14, 2025 |
|
acl2_8.6+dfsg-3.dsc |
2.2 KB |
May 14, 2025 |
|
acl2_8.6+dfsg-3+b1_arm64.deb |
35 MB |
Jan 20, 2026 |
|
acl2_8.6+dfsg.orig.tar.gz |
229.2 MB |
Apr 26, 2025 |
|
acl2-books_8.3dfsg-2_amd64.deb |
241.2 MB |
Jan 27, 2021 |
|
acl2-books_8.3dfsg-2_arm64.deb |
236 MB |
Jan 28, 2021 |
|
acl2-books_8.3dfsg-2_armhf.deb |
222.9 MB |
Jan 28, 2021 |
|
acl2-books_8.3dfsg-2_i386.deb |
203.9 MB |
Jan 27, 2021 |
|
acl2-books_8.5dfsg-5_amd64.deb |
287 MB |
Jan 16, 2023 |
|
acl2-books_8.5dfsg-5_arm64.deb |
289.4 MB |
Jan 17, 2023 |
|
acl2-books_8.5dfsg-5_armel.deb |
267.8 MB |
Jan 17, 2023 |
|
acl2-books_8.5dfsg-5_armhf.deb |
271.7 MB |
Jan 17, 2023 |
|
acl2-books_8.5dfsg-5_i386.deb |
247.6 MB |
Jan 16, 2023 |
|
acl2-books_8.5dfsg-5_mips64el.deb |
309.5 MB |
Jan 23, 2023 |
|
acl2-books_8.5dfsg-5_mipsel.deb |
284.6 MB |
Jan 21, 2023 |
|
acl2-books_8.5dfsg-5_ppc64el.deb |
291.5 MB |
Jan 18, 2023 |
|
acl2-books_8.5dfsg-5_s390x.deb |
267.4 MB |
Jan 16, 2023 |
|
acl2-books_8.6+dfsg-2_amd64.deb |
415.6 MB |
Apr 27, 2025 |
|
acl2-books_8.6+dfsg-2_arm64.deb |
412.5 MB |
Apr 27, 2025 |
|
acl2-books_8.6+dfsg-2_armel.deb |
385.6 MB |
Apr 27, 2025 |
|
acl2-books_8.6+dfsg-2_armhf.deb |
394.6 MB |
Apr 28, 2025 |
|
acl2-books_8.6+dfsg-2_i386.deb |
344.3 MB |
Apr 27, 2025 |
|
acl2-books_8.6+dfsg-2_ppc64el.deb |
429.8 MB |
Apr 27, 2025 |
|
acl2-books_8.6+dfsg-2_riscv64.deb |
936 MB |
May 1, 2025 |
|
acl2-books_8.6+dfsg-2_s390x.deb |
416.7 MB |
Apr 27, 2025 |
|
acl2-books_8.6+dfsg-3_amd64.deb |
415.6 MB |
May 14, 2025 |
|
acl2-books_8.6+dfsg-3_armhf.deb |
394.7 MB |
May 14, 2025 |
|
acl2-books_8.6+dfsg-3_i386.deb |
344.3 MB |
May 14, 2025 |
|
acl2-books_8.6+dfsg-3_loong64.deb |
528.4 MB |
Dec 28, 2025 |
|
acl2-books_8.6+dfsg-3_ppc64el.deb |
429.9 MB |
May 14, 2025 |
|
acl2-books_8.6+dfsg-3_riscv64.deb |
936.6 MB |
May 18, 2025 |
|
acl2-books_8.6+dfsg-3_s390x.deb |
416.5 MB |
May 14, 2025 |
|
acl2-books_8.6+dfsg-3+b1_arm64.deb |
409.9 MB |
Jan 20, 2026 |
|
acl2-books-certs_8.3dfsg-2_all.deb |
138.7 MB |
Jan 27, 2021 |
|
acl2-books-certs_8.5dfsg-5_all.deb |
170.1 MB |
Jan 16, 2023 |
|
acl2-books-certs_8.6+dfsg-2_all.deb |
211.4 MB |
Apr 27, 2025 |
|
acl2-books-certs_8.6+dfsg-3_all.deb |
211.6 MB |
May 14, 2025 |
|
acl2-books-source_8.3dfsg-2_all.deb |
18.6 MB |
Jan 27, 2021 |
|
acl2-books-source_8.5dfsg-5_all.deb |
23.5 MB |
Jan 16, 2023 |
|
acl2-books-source_8.6+dfsg-2_all.deb |
26.2 MB |
Apr 27, 2025 |
|
acl2-books-source_8.6+dfsg-3_all.deb |
26.2 MB |
May 14, 2025 |
|
acl2-doc_8.3dfsg-2_all.deb |
437.1 KB |
Jan 27, 2021 |
|
acl2-doc_8.5dfsg-5_all.deb |
470 KB |
Jan 16, 2023 |
|
acl2-doc_8.6+dfsg-2_all.deb |
512.6 KB |
Apr 27, 2025 |
|
acl2-doc_8.6+dfsg-3_all.deb |
512.8 KB |
May 14, 2025 |
|
acl2-emacs_8.3dfsg-2_all.deb |
67.8 KB |
Jan 27, 2021 |
|
acl2-infix_8.3dfsg-2_amd64.deb |
478.8 KB |
Jan 27, 2021 |
|
acl2-infix_8.3dfsg-2_arm64.deb |
469.4 KB |
Jan 28, 2021 |
|
acl2-infix_8.3dfsg-2_armhf.deb |
478.3 KB |
Jan 28, 2021 |
|
acl2-infix_8.3dfsg-2_i386.deb |
484.8 KB |
Jan 27, 2021 |
|
acl2-infix_8.5dfsg-5_amd64.deb |
464.1 KB |
Jan 16, 2023 |
|
acl2-infix_8.5dfsg-5_arm64.deb |
460.7 KB |
Jan 17, 2023 |
|
acl2-infix_8.5dfsg-5_armel.deb |
459.1 KB |
Jan 17, 2023 |
|
acl2-infix_8.5dfsg-5_armhf.deb |
472.4 KB |
Jan 17, 2023 |
|
acl2-infix_8.5dfsg-5_i386.deb |
477.5 KB |
Jan 16, 2023 |
|
acl2-infix_8.5dfsg-5_mips64el.deb |
490.5 KB |
Jan 23, 2023 |
|
acl2-infix_8.5dfsg-5_mipsel.deb |
502.9 KB |
Jan 21, 2023 |
|
acl2-infix_8.5dfsg-5_ppc64el.deb |
483 KB |
Jan 18, 2023 |
|
acl2-infix_8.5dfsg-5_s390x.deb |
432 KB |
Jan 16, 2023 |
|
acl2-infix_8.6+dfsg-2_amd64.deb |
866 KB |
Apr 27, 2025 |
|
acl2-infix_8.6+dfsg-2_arm64.deb |
833.8 KB |
Apr 27, 2025 |
|
acl2-infix_8.6+dfsg-2_armel.deb |
814.6 KB |
Apr 27, 2025 |
|
acl2-infix_8.6+dfsg-2_armhf.deb |
845.5 KB |
Apr 28, 2025 |
|
acl2-infix_8.6+dfsg-2_i386.deb |
852.2 KB |
Apr 27, 2025 |
|
acl2-infix_8.6+dfsg-2_ppc64el.deb |
885.4 KB |
Apr 27, 2025 |
|
acl2-infix_8.6+dfsg-2_riscv64.deb |
1.8 MB |
May 1, 2025 |
|
acl2-infix_8.6+dfsg-2_s390x.deb |
863.9 KB |
Apr 27, 2025 |
|
acl2-infix_8.6+dfsg-3_amd64.deb |
864.8 KB |
May 14, 2025 |
|
acl2-infix_8.6+dfsg-3_armhf.deb |
846.4 KB |
May 14, 2025 |
|
acl2-infix_8.6+dfsg-3_i386.deb |
852.5 KB |
May 14, 2025 |
|
acl2-infix_8.6+dfsg-3_loong64.deb |
1 MB |
Dec 28, 2025 |
|
acl2-infix_8.6+dfsg-3_ppc64el.deb |
882 KB |
May 14, 2025 |
|
acl2-infix_8.6+dfsg-3_riscv64.deb |
1.8 MB |
May 18, 2025 |
|
acl2-infix_8.6+dfsg-3_s390x.deb |
862.9 KB |
May 14, 2025 |
|
acl2-infix_8.6+dfsg-3+b1_arm64.deb |
825.8 KB |
Jan 20, 2026 |
|
acl2-infix-source_8.3dfsg-2_all.deb |
78 KB |
Jan 27, 2021 |
|
acl2-infix-source_8.5dfsg-5_all.deb |
70.6 KB |
Jan 16, 2023 |
|
acl2-infix-source_8.6+dfsg-2_all.deb |
70.9 KB |
Apr 27, 2025 |
|
acl2-infix-source_8.6+dfsg-3_all.deb |
71.1 KB |
May 14, 2025 |
|
acl2-source_8.3dfsg-2_all.deb |
3.2 MB |
Jan 27, 2021 |
|
acl2-source_8.5dfsg-5_all.deb |
3.4 MB |
Jan 16, 2023 |
|
acl2-source_8.6+dfsg-2_all.deb |
3.8 MB |
Apr 27, 2025 |
|
acl2-source_8.6+dfsg-3_all.deb |
3.8 MB |
May 14, 2025 |
|
elpa-acl2_8.5dfsg-5_all.deb |
69 KB |
Jan 16, 2023 |
|
elpa-acl2_8.6+dfsg-2_all.deb |
76.4 KB |
Apr 27, 2025 |
|
elpa-acl2_8.6+dfsg-3_all.deb |
76.6 KB |
May 14, 2025 |