Index of /ubuntu/pool/universe/a/acl2/

../
acl2-books-certs_8.2dfsg-3build1_all.deb           12-May-2025 11:34            68979892
acl2-books-certs_8.4dfsg-2_all.deb                 16-Dec-2025 21:56           231831222
acl2-books-source_8.2dfsg-3build1_all.deb          12-May-2025 11:34            14290112
acl2-books-source_8.4dfsg-2_all.deb                16-Dec-2025 21:56            22136204
acl2-books_8.2dfsg-3build1_amd64.deb               12-May-2025 11:34           171294740
acl2-books_8.4dfsg-2_amd64.deb                     16-Dec-2025 21:56           353947352
acl2-doc_8.2dfsg-3build1_all.deb                   12-May-2025 11:34              428100
acl2-doc_8.4dfsg-2_all.deb                         16-Dec-2025 21:56              451656
acl2-emacs_8.2dfsg-3build1_all.deb                 12-May-2025 11:34               60520
acl2-infix-source_8.2dfsg-3build1_all.deb          12-May-2025 11:34               71920
acl2-infix-source_8.4dfsg-2_all.deb                16-Dec-2025 21:56               73680
acl2-infix_8.2dfsg-3build1_amd64.deb               12-May-2025 11:34              481148
acl2-infix_8.4dfsg-2_amd64.deb                     16-Dec-2025 21:56              564006
acl2-source_8.2dfsg-3build1_all.deb                12-May-2025 11:34             3268812
acl2-source_8.4dfsg-2_all.deb                      16-Dec-2025 21:56             3536828
acl2_8.2dfsg-3build1_amd64.deb                     12-May-2025 11:34            21932904
acl2_8.4dfsg-2_amd64.deb                           16-Dec-2025 21:56            26133150
elpa-acl2_8.4dfsg-2_all.deb                        16-Dec-2025 21:56               70790