../ acl2-books-certs_8.6+dfsg-3_all.deb 14-May-2025 20:24 221931052 acl2-books-source_8.6+dfsg-3_all.deb 14-May-2025 20:24 27499896 acl2-doc_8.6+dfsg-3_all.deb 14-May-2025 20:24 525148 acl2-infix-source_8.6+dfsg-3_all.deb 14-May-2025 20:24 72836 acl2-source_8.6+dfsg-3_all.deb 14-May-2025 20:24 3997164 elpa-acl2_8.6+dfsg-3_all.deb 14-May-2025 20:24 78456