| Parent directory/ | - | - |
| acl2-books-certs_8.5dfsg-6_all.deb | 67277268 | 2024-Jul-29 01:44 |
| acl2-books-source_8.5dfsg-6_all.deb | 24660204 | 2024-Jul-29 01:44 |
| acl2-books_8.5dfsg-6_amd64.deb | 158343720 | 2024-Jul-29 01:18 |
| acl2-books_8.5dfsg-6_arm64.deb | 155991164 | 2024-Jul-29 01:18 |
| acl2-books_8.5dfsg-6_armel.deb | 149106624 | 2024-Jul-29 02:25 |
| acl2-books_8.5dfsg-6_armhf.deb | 151171740 | 2024-Jul-29 09:35 |
| acl2-books_8.5dfsg-6_i386.deb | 139327964 | 2024-Jul-29 01:49 |
| acl2-doc_8.5dfsg-6_all.deb | 481452 | 2024-Jul-29 01:44 |
| acl2-infix-source_8.5dfsg-6_all.deb | 72392 | 2024-Jul-29 01:44 |
| acl2-infix_8.5dfsg-6_amd64.deb | 476332 | 2024-Jul-29 01:18 |
| acl2-infix_8.5dfsg-6_arm64.deb | 465856 | 2024-Jul-29 01:18 |
| acl2-infix_8.5dfsg-6_armel.deb | 469520 | 2024-Jul-29 02:25 |
| acl2-infix_8.5dfsg-6_armhf.deb | 486088 | 2024-Jul-29 09:35 |
| acl2-infix_8.5dfsg-6_i386.deb | 486604 | 2024-Jul-29 01:49 |
| acl2-source_8.5dfsg-6_all.deb | 3587740 | 2024-Jul-29 01:44 |
| acl2_8.5dfsg-6.debian.tar.xz | 312848 | 2024-Jul-28 18:31 |
| acl2_8.5dfsg-6.dsc | 2268 | 2024-Jul-28 18:31 |
| acl2_8.5dfsg-6_amd64.deb | 23126480 | 2024-Jul-29 01:18 |
| acl2_8.5dfsg-6_arm64.deb | 21173820 | 2024-Jul-29 01:18 |
| acl2_8.5dfsg-6_armel.deb | 18952012 | 2024-Jul-29 02:25 |
| acl2_8.5dfsg-6_armhf.deb | 19314376 | 2024-Jul-29 09:35 |
| acl2_8.5dfsg-6_i386.deb | 20100452 | 2024-Jul-29 01:49 |
| acl2_8.5dfsg.orig.tar.gz | 223546594 | 2022-Jul-27 16:13 |
| elpa-acl2_8.5dfsg-6_all.deb | 70664 | 2024-Jul-29 01:44 |