| Parent directory/ | - | - |
| acl2_8.5dfsg.orig.tar.gz | 213.2 MiB | 2024-May-15 10:48 |
| acl2_8.5dfsg-5.debian.tar.xz | 305.6 KiB | 2024-May-15 10:44 |
| acl2_8.5dfsg-5.dsc | 2.2 KiB | 2024-May-15 10:44 |
| acl2-infix_8.5dfsg-5+b2_riscv64.deb | 1023.1 KiB | 2024-Apr-22 14:27 |
| acl2-books_8.5dfsg-5+b2_riscv64.deb | 719.7 MiB | 2024-Apr-22 14:04 |
| acl2_8.5dfsg-5+b2_riscv64.deb | 21.1 MiB | 2024-Apr-22 13:59 |
| acl2-books-certs_8.5dfsg-5_all.deb | 170.1 MiB | 2023-Apr-10 11:51 |
| acl2-books-source_8.5dfsg-5_all.deb | 23.5 MiB | 2023-Apr-10 11:50 |
| elpa-acl2_8.5dfsg-5_all.deb | 69.0 KiB | 2023-Apr-10 11:40 |
| acl2-doc_8.5dfsg-5_all.deb | 470.0 KiB | 2023-Apr-10 11:39 |
| acl2-source_8.5dfsg-5_all.deb | 3.4 MiB | 2023-Apr-10 11:35 |
| acl2-infix-source_8.5dfsg-5_all.deb | 70.6 KiB | 2023-Apr-10 11:30 |