../ acl2-books_8.5dfsg-6_sparc64.deb 01-Aug-2024 06:03 146M acl2-infix_8.5dfsg-6_sparc64.deb 01-Aug-2024 06:03 447K acl2_8.5dfsg-6_sparc64.buildinfo 01-Aug-2024 06:03 11K acl2_8.5dfsg-6_sparc64.deb 01-Aug-2024 06:03 19M