../ acl2-books-certs_8.5dfsg-5_all.deb 16-Jan-2023 14:55 170M acl2-books-certs_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 211M acl2-books-source_8.5dfsg-5_all.deb 16-Jan-2023 14:55 24M acl2-books-source_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 26M acl2-books_8.5dfsg-5_amd64.deb 16-Jan-2023 20:15 287M acl2-books_8.5dfsg-5_arm64.deb 17-Jan-2023 21:13 289M acl2-books_8.5dfsg-5_armhf.deb 17-Jan-2023 11:32 272M acl2-books_8.6+dfsg-2_amd64.deb 27-Apr-2025 19:40 416M acl2-doc_8.5dfsg-5_all.deb 16-Jan-2023 14:55 470K acl2-doc_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 513K acl2-infix-source_8.5dfsg-5_all.deb 16-Jan-2023 14:55 71K acl2-infix-source_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 71K acl2-infix_8.5dfsg-5_amd64.deb 16-Jan-2023 20:15 464K acl2-infix_8.5dfsg-5_arm64.deb 17-Jan-2023 21:13 461K acl2-infix_8.5dfsg-5_armhf.deb 17-Jan-2023 11:32 472K acl2-infix_8.6+dfsg-2_amd64.deb 27-Apr-2025 19:40 866K acl2-source_8.5dfsg-5_all.deb 16-Jan-2023 14:55 3M acl2-source_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 4M acl2_8.5dfsg-5_amd64.deb 16-Jan-2023 20:15 22M acl2_8.5dfsg-5_arm64.deb 17-Jan-2023 21:13 21M acl2_8.5dfsg-5_armhf.deb 17-Jan-2023 11:32 19M acl2_8.6+dfsg-2_amd64.deb 27-Apr-2025 19:40 35M elpa-acl2_8.5dfsg-5_all.deb 16-Jan-2023 14:55 69K elpa-acl2_8.6+dfsg-2_all.deb 27-Apr-2025 19:56 76K