../ acl2-books_8.5dfsg-5+b1_ppc64.deb 27-Mar-2024 18:03 283M acl2-infix_8.5dfsg-5+b1_ppc64.deb 27-Mar-2024 18:03 472K acl2_8.5dfsg-5+b1_ppc64.buildinfo 27-Mar-2024 18:03 12K acl2_8.5dfsg-5+b1_ppc64.deb 27-Mar-2024 18:03 23M