../ acl2-books-certs_8.6+dfsg-3_all.deb 14-May-2025 20:24 212M acl2-books-source_8.6+dfsg-3_all.deb 14-May-2025 20:24 26M acl2-doc_8.6+dfsg-3_all.deb 14-May-2025 20:24 513K acl2-infix-source_8.6+dfsg-3_all.deb 14-May-2025 20:24 71K acl2-source_8.6+dfsg-3_all.deb 14-May-2025 20:24 4M elpa-acl2_8.6+dfsg-3_all.deb 14-May-2025 20:24 77K