../ acl2-books-certs_8.5dfsg-5_all.deb 16-Jan-2023 19:29 226698028 acl2-books-source_8.5dfsg-5_all.deb 16-Jan-2023 19:29 24014556 acl2-doc_8.5dfsg-5_all.deb 16-Jan-2023 19:29 484782 acl2-infix-source_8.5dfsg-5_all.deb 16-Jan-2023 19:29 73612 acl2-source_8.5dfsg-5_all.deb 16-Jan-2023 19:29 3651794 elpa-acl2_8.5dfsg-5_all.deb 16-Jan-2023 19:29 72014