../ acl2-books-certs_8.5dfsg-5_all.deb 01-Jul-2023 15:33 170M acl2-books-source_8.5dfsg-5_all.deb 01-Jul-2023 15:33 24M acl2-doc_8.5dfsg-5_all.deb 01-Jul-2023 15:33 470K acl2-infix-source_8.5dfsg-5_all.deb 01-Jul-2023 15:33 71K acl2-source_8.5dfsg-5_all.deb 01-Jul-2023 15:33 3M elpa-acl2_8.5dfsg-5_all.deb 01-Jul-2023 15:41 69K