../ acl2-books_8.5dfsg-5+b1_ppc64.deb 28-Mar-2024 02:03 296696740 acl2-infix_8.5dfsg-5+b1_ppc64.deb 28-Mar-2024 02:03 483804 acl2_8.5dfsg-5+b1_ppc64.buildinfo 28-Mar-2024 02:03 12226 acl2_8.5dfsg-5+b1_ppc64.deb 28-Mar-2024 02:03 23980036