../ acl2-books-certs_8.5dfsg-5_all.deb 16-Jan-2023 21:55 178375056 acl2-books-certs_8.6+dfsg-2_all.deb 28-Apr-2025 02:56 221620564 acl2-books-source_8.5dfsg-5_all.deb 16-Jan-2023 21:55 24662324 acl2-books-source_8.6+dfsg-2_all.deb 28-Apr-2025 02:56 27502672 acl2-books_8.5dfsg-5_amd64.deb 17-Jan-2023 03:15 300900920 acl2-books_8.6+dfsg-2_amd64.deb 28-Apr-2025 02:40 435743480 acl2-doc_8.5dfsg-5_all.deb 16-Jan-2023 21:55 481328 acl2-doc_8.6+dfsg-2_all.deb 28-Apr-2025 02:56 524912 acl2-infix-source_8.5dfsg-5_all.deb 16-Jan-2023 21:55 72332 acl2-infix-source_8.6+dfsg-2_all.deb 28-Apr-2025 02:56 72652 acl2-infix_8.5dfsg-5_amd64.deb 17-Jan-2023 03:15 475288 acl2-infix_8.6+dfsg-2_amd64.deb 28-Apr-2025 02:40 886800 acl2-source_8.5dfsg-5_all.deb 16-Jan-2023 21:55 3587888 acl2-source_8.6+dfsg-2_all.deb 28-Apr-2025 02:56 3996788 acl2_8.5dfsg-5_amd64.deb 17-Jan-2023 03:15 23408224 acl2_8.6+dfsg-2_amd64.deb 28-Apr-2025 02:40 36900528 elpa-acl2_8.5dfsg-5_all.deb 16-Jan-2023 21:55 70628 elpa-acl2_8.6+dfsg-2_all.deb 28-Apr-2025 02:56 78264