../ acl2-books_6.3-6_alpha.deb 20-Nov-2013 16:09 21M acl2-books_8.4dfsg-2_alpha.deb 07-Nov-2021 15:03 283M acl2-infix_6.3-6_alpha.deb 20-Nov-2013 16:06 132K acl2-infix_8.4dfsg-2_alpha.deb 07-Nov-2021 15:03 502K acl2_6.3-6_alpha.deb 20-Nov-2013 16:07 13M acl2_8.4dfsg-2_alpha.buildinfo 07-Nov-2021 15:03 8378 acl2_8.4dfsg-2_alpha.deb 07-Nov-2021 15:03 20M