../ acl2-books_6.3-6_hppa.deb 18-Jan-2014 11:54 19386152 acl2-books_8.5dfsg-5_hppa.deb 29-Jan-2023 12:03 323656728 acl2-infix_6.3-6_hppa.deb 18-Jan-2014 11:51 152276 acl2-infix_8.5dfsg-5_hppa.deb 29-Jan-2023 12:03 544284 acl2_6.3-6_hppa.deb 18-Jan-2014 11:56 14149396 acl2_8.5dfsg-5_hppa.buildinfo 29-Jan-2023 12:03 8307 acl2_8.5dfsg-5_hppa.deb 29-Jan-2023 12:03 21261520