../ acl2-books_8.5dfsg-5+b1_powerpc.deb 17-Apr-2024 18:03 288135948 acl2-infix_8.5dfsg-5+b1_powerpc.deb 17-Apr-2024 18:03 462080 acl2_8.5dfsg-5+b1_powerpc.buildinfo 17-Apr-2024 18:03 9412 acl2_8.5dfsg-5+b1_powerpc.deb 17-Apr-2024 18:03 22753836