../ acl2-books-certs_4.0-3_all.deb 26-Apr-2023 10:34 2M acl2-books-certs_7.2dfsg-3_all.deb 26-Apr-2023 13:21 52M acl2-books-source_4.0-3_all.deb 26-Apr-2023 10:34 5M acl2-books-source_7.2dfsg-3_all.deb 26-Apr-2023 13:21 10M acl2-books_4.0-3_i386.deb 26-Apr-2023 10:34 32M acl2-books_7.2dfsg-3_i386.deb 26-Apr-2023 13:21 86M acl2-doc_4.0-3_all.deb 26-Apr-2023 10:34 3M acl2-doc_7.2dfsg-3_all.deb 26-Apr-2023 13:21 372K acl2-emacs_4.0-3_all.deb 26-Apr-2023 10:34 57K acl2-emacs_7.2dfsg-3_all.deb 26-Apr-2023 13:21 63K acl2-infix-source_4.0-3_all.deb 26-Apr-2023 10:34 87K acl2-infix-source_7.2dfsg-3_all.deb 26-Apr-2023 13:21 77K acl2-infix_4.0-3_i386.deb 26-Apr-2023 10:34 381K acl2-infix_7.2dfsg-3_i386.deb 26-Apr-2023 13:21 381K acl2-source_4.0-3_all.deb 26-Apr-2023 10:34 3M acl2-source_7.2dfsg-3_all.deb 26-Apr-2023 13:21 3M acl2_4.0-3.diff.gz 26-Apr-2023 10:34 16K acl2_4.0-3.dsc 26-Apr-2023 10:34 1168 acl2_4.0-3_i386.deb 26-Apr-2023 10:34 21M acl2_4.0.orig.tar.gz 26-Apr-2023 10:34 11M acl2_7.2dfsg-3.debian.tar.xz 26-Apr-2023 13:21 199K acl2_7.2dfsg-3.dsc 26-Apr-2023 13:21 2231 acl2_7.2dfsg-3_i386.deb 26-Apr-2023 13:21 15M acl2_7.2dfsg.orig.tar.gz 26-Apr-2023 13:21 61M