../ acl2-books-certs_8.5dfsg-5_all.deb 16-Jan-2023 21:55 170M acl2-books-certs_8.6+dfsg-2_all.deb 28-Apr-2025 02:56 211M acl2-books-source_8.5dfsg-5_all.deb 16-Jan-2023 21:55 24M acl2-books-source_8.6+dfsg-2_all.deb 28-Apr-2025 02:56 26M acl2-books_8.5dfsg-5_amd64.deb 17-Jan-2023 03:15 287M acl2-doc_8.5dfsg-5_all.deb 16-Jan-2023 21:55 470K acl2-doc_8.6+dfsg-2_all.deb 28-Apr-2025 02:56 513K acl2-infix-source_8.5dfsg-5_all.deb 16-Jan-2023 21:55 71K acl2-infix-source_8.6+dfsg-2_all.deb 28-Apr-2025 02:56 71K acl2-infix_8.5dfsg-5_amd64.deb 17-Jan-2023 03:15 464K acl2-source_8.5dfsg-5_all.deb 16-Jan-2023 21:55 3M acl2-source_8.6+dfsg-2_all.deb 28-Apr-2025 02:56 4M acl2_8.5dfsg-5_amd64.deb 17-Jan-2023 03:15 22M elpa-acl2_8.5dfsg-5_all.deb 16-Jan-2023 21:55 69K elpa-acl2_8.6+dfsg-2_all.deb 28-Apr-2025 02:56 76K