../ acl2-books-certs_8.4dfsg-2_all.deb 19-Dec-2021 08:10 231831222 acl2-books-certs_8.5dfsg-5build3_all.deb 02-Apr-2024 15:03 226234436 acl2-books-source_8.4dfsg-2_all.deb 19-Dec-2021 08:10 22136204 acl2-books-source_8.5dfsg-5build3_all.deb 02-Apr-2024 15:02 23801362 acl2-books_8.4dfsg-2_amd64.deb 19-Dec-2021 08:09 353947352 acl2-books_8.5dfsg-5build3_amd64.deb 02-Apr-2024 15:03 346555008 acl2-doc_8.4dfsg-2_all.deb 19-Dec-2021 08:09 451656 acl2-doc_8.5dfsg-5build3_all.deb 02-Apr-2024 15:02 485308 acl2-infix-source_8.4dfsg-2_all.deb 19-Dec-2021 08:10 73680 acl2-infix-source_8.5dfsg-5build3_all.deb 02-Apr-2024 15:02 74148 acl2-infix_8.4dfsg-2_amd64.deb 19-Dec-2021 08:09 564006 acl2-infix_8.5dfsg-5build3_amd64.deb 02-Apr-2024 15:02 551042 acl2-source_8.4dfsg-2_all.deb 19-Dec-2021 08:10 3536828 acl2-source_8.5dfsg-5build3_all.deb 02-Apr-2024 15:02 3652452 acl2_8.4dfsg-2_amd64.deb 19-Dec-2021 08:10 26133150 acl2_8.5dfsg-5build3_amd64.deb 02-Apr-2024 15:03 26854572 elpa-acl2_8.4dfsg-2_all.deb 19-Dec-2021 08:09 70790 elpa-acl2_8.5dfsg-5build3_all.deb 02-Apr-2024 15:02 72432