|
../ |
— |
— |
|
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_armhf.deb |
18.7 MB |
Jan 17, 2023 |
|
acl2_8.5dfsg-5_i386.deb |
19.4 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_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_riscv64.deb |
35.4 MB |
May 1, 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.orig.tar.gz |
229.2 MB |
Apr 26, 2025 |
|
acl2_8.7+dfsg-3_amd64.deb |
34.2 MB |
Jul 17, 2026 |
|
acl2_8.7+dfsg-3_arm64.deb |
31 MB |
Jul 17, 2026 |
|
acl2_8.7+dfsg-3_armhf.deb |
33.3 MB |
Jul 17, 2026 |
|
acl2_8.7+dfsg-3_i386.deb |
35.2 MB |
Jul 17, 2026 |
|
acl2_8.7+dfsg-3_riscv64.deb |
32.3 MB |
Jul 23, 2026 |
|
acl2_8.7+dfsg-3.debian.tar.xz |
880.8 KB |
Jul 17, 2026 |
|
acl2_8.7+dfsg-3.dsc |
2.2 KB |
Jul 17, 2026 |
|
acl2_8.7+dfsg.orig.tar.gz |
238.2 MB |
Jun 17, 2026 |
|
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_armhf.deb |
271.7 MB |
Jan 17, 2023 |
|
acl2-books_8.5dfsg-5_i386.deb |
247.6 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_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_riscv64.deb |
936 MB |
May 1, 2025 |
|
acl2-books_8.7+dfsg-3_amd64.deb |
456.6 MB |
Jul 17, 2026 |
|
acl2-books_8.7+dfsg-3_arm64.deb |
448.4 MB |
Jul 17, 2026 |
|
acl2-books_8.7+dfsg-3_armhf.deb |
434.7 MB |
Jul 17, 2026 |
|
acl2-books_8.7+dfsg-3_i386.deb |
397.6 MB |
Jul 17, 2026 |
|
acl2-books_8.7+dfsg-3_riscv64.deb |
1.2 GB |
Jul 23, 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.7+dfsg-3_all.deb |
232.5 MB |
Jul 17, 2026 |
|
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.7+dfsg-3_all.deb |
28.4 MB |
Jul 17, 2026 |
|
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.7+dfsg-3_all.deb |
533.4 KB |
Jul 17, 2026 |
|
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_armhf.deb |
472.4 KB |
Jan 17, 2023 |
|
acl2-infix_8.5dfsg-5_i386.deb |
477.5 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_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_riscv64.deb |
1.8 MB |
May 1, 2025 |
|
acl2-infix_8.7+dfsg-3_amd64.deb |
875.6 KB |
Jul 17, 2026 |
|
acl2-infix_8.7+dfsg-3_arm64.deb |
843.9 KB |
Jul 17, 2026 |
|
acl2-infix_8.7+dfsg-3_armhf.deb |
869.6 KB |
Jul 17, 2026 |
|
acl2-infix_8.7+dfsg-3_i386.deb |
863.6 KB |
Jul 17, 2026 |
|
acl2-infix_8.7+dfsg-3_riscv64.deb |
2.1 MB |
Jul 23, 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.7+dfsg-3_all.deb |
70.3 KB |
Jul 17, 2026 |
|
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.7+dfsg-3_all.deb |
3.9 MB |
Jul 17, 2026 |
|
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.7+dfsg-3_all.deb |
75.8 KB |
Jul 17, 2026 |