../ acl2-books-source_8.6+dfsg-3build1_all.deb 16-Sep-2026 12:26 27776852 acl2-doc_8.6+dfsg-3build1_all.deb 16-Sep-2026 12:26 528512 acl2-infix-source_8.6+dfsg-3build1_all.deb 16-Sep-2026 12:26 74626 acl2-infix_8.6+dfsg-3build1_amd64.deb 16-Sep-2026 12:26 999778 acl2-source_8.6+dfsg-3build1_all.deb 16-Sep-2026 12:26 4062104 acl2_8.6+dfsg-3build1_amd64.deb 16-Sep-2026 12:26 48895074 elpa-acl2_8.6+dfsg-3build1_all.deb 16-Sep-2026 12:26 80630