| ../ |
- |
- |
| 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-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_8.5dfsg-5_amd64.deb |
287.0 MB |
2023-01-16 20:15 |
| 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_armhf.deb |
394.6 MB |
2025-04-28 17:17 |
| acl2-books_8.6+dfsg-2_riscv64.deb |
936.0 MB |
2025-05-02 01:29 |
| 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-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_8.5dfsg-5_amd64.deb |
464.1 KB |
2023-01-16 20:15 |
| 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_armhf.deb |
845.5 KB |
2025-04-28 17:17 |
| acl2-infix_8.6+dfsg-2_riscv64.deb |
1.8 MB |
2025-05-02 01:29 |
| 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_8.5dfsg-5_amd64.deb |
22.3 MB |
2023-01-16 20:15 |
| 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_armhf.deb |
36.6 MB |
2025-04-28 17:17 |
| acl2_8.6+dfsg-2_riscv64.deb |
35.4 MB |
2025-05-02 01:29 |
| 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 |