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