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