| Parent directory/ | - | - |
| acl2_8.5dfsg.orig.tar.gz | 213.2 MiB | 2024-May-15 10:48 |
| acl2-doc_8.5dfsg-6_all.deb | 470.2 KiB | 2024-Aug-26 11:57 |
| acl2-infix-source_8.5dfsg-6_all.deb | 70.7 KiB | 2024-Aug-26 12:02 |
| acl2-source_8.5dfsg-6_all.deb | 3.4 MiB | 2024-Aug-26 12:15 |
| acl2_8.5dfsg-6_riscv64.deb | 21.1 MiB | 2024-Aug-26 12:16 |
| acl2_8.5dfsg-6.dsc | 2.2 KiB | 2024-Aug-26 13:38 |
| acl2_8.5dfsg-6.debian.tar.xz | 305.5 KiB | 2024-Aug-26 13:38 |
| acl2-infix_8.5dfsg-6_riscv64.deb | 1008.8 KiB | 2024-Aug-26 13:45 |
| elpa-acl2_8.5dfsg-6_all.deb | 69.0 KiB | 2024-Aug-26 13:46 |
| acl2-books_8.5dfsg-6_riscv64.deb | 369.8 MiB | 2024-Aug-26 13:48 |
| acl2-books-source_8.5dfsg-6_all.deb | 23.5 MiB | 2024-Aug-26 14:37 |
| acl2-books-certs_8.5dfsg-6_all.deb | 64.2 MiB | 2024-Aug-26 14:38 |