../ acl2-books_8.5dfsg-5+b1_powerpc.deb 18-Apr-2024 03:03 275M acl2-infix_8.5dfsg-5+b1_powerpc.deb 18-Apr-2024 03:03 451K acl2_8.5dfsg-5+b1_powerpc.buildinfo 18-Apr-2024 03:03 9412 acl2_8.5dfsg-5+b1_powerpc.deb 18-Apr-2024 03:03 22M