../ acl2-books-certs_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 66M acl2-books-source_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 14M acl2-books_8.2dfsg-3build1_arm64.deb 24-Mar-2020 08:48 161M acl2-doc_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 418K acl2-emacs_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 59K acl2-infix-source_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 70K acl2-infix_8.2dfsg-3build1_arm64.deb 24-Mar-2020 08:48 461K acl2-source_8.2dfsg-3build1_all.deb 23-Mar-2020 13:24 3M acl2_8.2dfsg-3build1_arm64.deb 24-Mar-2020 08:48 19M