Index of /ubuntu-security/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                 27-Aug-2026 09:44           231831222
acl2-books-source_8.2dfsg-3build1_all.deb          12-May-2025 11:34            14290112
acl2-books-source_8.4dfsg-2_all.deb                27-Aug-2026 09:44            22136204
acl2-books_8.2dfsg-3build1_amd64.deb               12-May-2025 11:34           171294740
acl2-books_8.4dfsg-2_amd64.deb                     27-Aug-2026 09:44           353947352
acl2-doc_8.2dfsg-3build1_all.deb                   12-May-2025 11:34              428100
acl2-doc_8.4dfsg-2_all.deb                         27-Aug-2026 09:44              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                27-Aug-2026 09:44               73680
acl2-infix_8.2dfsg-3build1_amd64.deb               12-May-2025 11:34              481148
acl2-infix_8.4dfsg-2_amd64.deb                     27-Aug-2026 09:44              564006
acl2-source_8.2dfsg-3build1_all.deb                12-May-2025 11:34             3268812
acl2-source_8.4dfsg-2_all.deb                      27-Aug-2026 09:44             3536828
acl2_8.2dfsg-3build1_amd64.deb                     12-May-2025 11:34            21932904
acl2_8.4dfsg-2_amd64.deb                           27-Aug-2026 09:44            26133150
elpa-acl2_8.4dfsg-2_all.deb                        27-Aug-2026 09:44               70790