../ acl2-books_8.5dfsg-5+b1_sparc64.deb 04-Apr-2024 00:03 287581072 acl2-infix_8.5dfsg-5+b1_sparc64.deb 04-Apr-2024 00:03 462984 acl2_8.5dfsg-5+b1_sparc64.buildinfo 04-Apr-2024 00:03 12115 acl2_8.5dfsg-5+b1_sparc64.deb 04-Apr-2024 00:03 20263196