../ acl2-books-certs_8.5dfsg-5_all.deb 16-Jan-2023 14:55 178375056 acl2-books-source_8.5dfsg-5_all.deb 16-Jan-2023 14:55 24662324 acl2-doc_8.5dfsg-5_all.deb 16-Jan-2023 14:55 481328 acl2-infix-source_8.5dfsg-5_all.deb 16-Jan-2023 14:55 72332 acl2-source_8.5dfsg-5_all.deb 16-Jan-2023 14:55 3587888 elpa-acl2_8.5dfsg-5_all.deb 16-Jan-2023 14:55 70628