../ acl2-books_8.6+dfsg-3_ppc64.deb 31-May-2025 03:03 417M acl2-infix_8.6+dfsg-3_ppc64.deb 31-May-2025 03:03 852K acl2_8.6+dfsg-3_ppc64.buildinfo 31-May-2025 03:03 8226 acl2_8.6+dfsg-3_ppc64.deb 31-May-2025 03:03 35M