../ acl2-books_8.5dfsg-5+b1_sparc64.deb 04-Apr-2024 00:03 274M acl2-infix_8.5dfsg-5+b1_sparc64.deb 04-Apr-2024 00:03 452K acl2_8.5dfsg-5+b1_sparc64.buildinfo 04-Apr-2024 00:03 12K acl2_8.5dfsg-5+b1_sparc64.deb 04-Apr-2024 00:03 19M