../ acl2-books-certs_8.5dfsg-5_all.deb 16-Jan-2023 14:55 170M acl2-books-source_8.5dfsg-5_all.deb 16-Jan-2023 14:55 24M acl2-doc_8.5dfsg-5_all.deb 16-Jan-2023 14:55 470K acl2-infix-source_8.5dfsg-5_all.deb 16-Jan-2023 14:55 71K acl2-source_8.5dfsg-5_all.deb 16-Jan-2023 14:55 3M elpa-acl2_8.5dfsg-5_all.deb 16-Jan-2023 14:55 69K