../ acl2-books_6.3-6_alpha.deb 20-Nov-2013 07:09 21729332 acl2-books_8.4dfsg-2_alpha.deb 07-Nov-2021 06:03 296620392 acl2-infix_6.3-6_alpha.deb 20-Nov-2013 07:06 135122 acl2-infix_8.4dfsg-2_alpha.deb 07-Nov-2021 06:03 514160 acl2_6.3-6_alpha.deb 20-Nov-2013 07:07 13773618 acl2_8.4dfsg-2_alpha.buildinfo 07-Nov-2021 06:03 8378 acl2_8.4dfsg-2_alpha.deb 07-Nov-2021 06:03 21369484