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