../ acl2-books-certs_8.7+dfsg-3_all.deb 17-Jul-2026 21:29 243805664 acl2-books-source_8.7+dfsg-3_all.deb 17-Jul-2026 21:29 29736396 acl2-doc_8.7+dfsg-3_all.deb 17-Jul-2026 21:29 546172 acl2-infix-source_8.7+dfsg-3_all.deb 17-Jul-2026 21:29 71952 acl2-source_8.7+dfsg-3_all.deb 17-Jul-2026 21:29 4071680 elpa-acl2_8.7+dfsg-3_all.deb 17-Jul-2026 21:29 77584