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                 19-Apr-2026 21:40           231831222
acl2-books-source_8.2dfsg-3build1_all.deb          12-May-2025 11:34            14290112
acl2-books-source_8.4dfsg-2_all.deb                19-Apr-2026 21:40            22136204
acl2-books_8.2dfsg-3build1_amd64.deb               12-May-2025 11:34           171294740
acl2-books_8.4dfsg-2_amd64.deb                     19-Apr-2026 21:40           353947352
acl2-doc_8.2dfsg-3build1_all.deb                   12-May-2025 11:34              428100
acl2-doc_8.4dfsg-2_all.deb                         19-Apr-2026 21:40              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                19-Apr-2026 21:40               73680
acl2-infix_8.2dfsg-3build1_amd64.deb               12-May-2025 11:34              481148
acl2-infix_8.4dfsg-2_amd64.deb                     19-Apr-2026 21:40              564006
acl2-source_8.2dfsg-3build1_all.deb                12-May-2025 11:34             3268812
acl2-source_8.4dfsg-2_all.deb                      19-Apr-2026 21:40             3536828
acl2_8.2dfsg-3build1_amd64.deb                     12-May-2025 11:34            21932904
acl2_8.4dfsg-2_amd64.deb                           19-Apr-2026 21:40            26133150
elpa-acl2_8.4dfsg-2_all.deb                        19-Apr-2026 21:40               70790