../ acl2-books_8.5dfsg-5+b1_powerpc.deb 17-Apr-2024 18:03 275M acl2-infix_8.5dfsg-5+b1_powerpc.deb 17-Apr-2024 18:03 451K 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 22M