../ acl2-books_6.3-6_hppa.deb 18-Jan-2014 20:54 18M acl2-books_8.6+dfsg-3_hppa.deb 21-May-2025 09:03 462M acl2-infix_6.3-6_hppa.deb 18-Jan-2014 20:51 149K acl2-infix_8.6+dfsg-3_hppa.deb 21-May-2025 09:03 991K acl2_6.3-6_hppa.deb 18-Jan-2014 20:56 13M acl2_8.6+dfsg-3_hppa.buildinfo 21-May-2025 09:03 8102 acl2_8.6+dfsg-3_hppa.deb 21-May-2025 09:03 34M