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