../ acl2-books_8.6+dfsg-3_sparc64.deb 01-Jun-2025 03:03 406M acl2-infix_8.6+dfsg-3_sparc64.deb 01-Jun-2025 03:03 878K acl2_8.6+dfsg-3_sparc64.buildinfo 01-Jun-2025 03:03 8172 acl2_8.6+dfsg-3_sparc64.deb 01-Jun-2025 03:03 33M