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

../
acl2-books-certs_8.2dfsg-3build1_all.deb           25-Aug-2023 20:35            68979892
acl2-books-certs_8.4dfsg-2_all.deb                 27-Aug-2023 01:56           231831222
acl2-books-certs_8.5dfsg-5build3_all.deb           11-Apr-2024 20:10           226234436
acl2-books-source_8.2dfsg-3build1_all.deb          25-Aug-2023 20:35            14290112
acl2-books-source_8.4dfsg-2_all.deb                27-Aug-2023 01:56            22136204
acl2-books-source_8.5dfsg-5build3_all.deb          11-Apr-2024 20:10            23801362
acl2-books_8.2dfsg-3build1_amd64.deb               25-Aug-2023 20:35           171294740
acl2-books_8.4dfsg-2_amd64.deb                     27-Aug-2023 01:56           353947352
acl2-books_8.5dfsg-5build3_amd64.deb               11-Apr-2024 20:10           346555008
acl2-doc_8.2dfsg-3build1_all.deb                   25-Aug-2023 20:35              428100
acl2-doc_8.4dfsg-2_all.deb                         27-Aug-2023 01:56              451656
acl2-doc_8.5dfsg-5build3_all.deb                   11-Apr-2024 20:10              485308
acl2-emacs_8.2dfsg-3build1_all.deb                 25-Aug-2023 20:35               60520
acl2-infix-source_8.2dfsg-3build1_all.deb          25-Aug-2023 20:35               71920
acl2-infix-source_8.4dfsg-2_all.deb                27-Aug-2023 01:56               73680
acl2-infix-source_8.5dfsg-5build3_all.deb          11-Apr-2024 20:10               74148
acl2-infix_8.2dfsg-3build1_amd64.deb               25-Aug-2023 20:35              481148
acl2-infix_8.4dfsg-2_amd64.deb                     27-Aug-2023 01:56              564006
acl2-infix_8.5dfsg-5build3_amd64.deb               11-Apr-2024 20:10              551042
acl2-source_8.2dfsg-3build1_all.deb                25-Aug-2023 20:35             3268812
acl2-source_8.4dfsg-2_all.deb                      27-Aug-2023 01:56             3536828
acl2-source_8.5dfsg-5build3_all.deb                11-Apr-2024 20:10             3652452
acl2_8.2dfsg-3build1.debian.tar.xz                 25-Aug-2023 20:35              206024
acl2_8.2dfsg-3build1.dsc                           25-Aug-2023 20:35                2296
acl2_8.2dfsg-3build1_amd64.deb                     25-Aug-2023 20:35            21932904
acl2_8.2dfsg.orig.tar.gz                           25-Aug-2023 20:35            80652725
acl2_8.4dfsg-2.debian.tar.xz                       27-Aug-2023 01:56              311628
acl2_8.4dfsg-2.dsc                                 27-Aug-2023 01:56                2281
acl2_8.4dfsg-2_amd64.deb                           27-Aug-2023 01:56            26133150
acl2_8.4dfsg.orig.tar.gz                           27-Aug-2023 01:56           202991839
acl2_8.5dfsg-5build3.debian.tar.xz                 11-Apr-2024 20:10              313036
acl2_8.5dfsg-5build3.dsc                           11-Apr-2024 20:10                2371
acl2_8.5dfsg-5build3_amd64.deb                     11-Apr-2024 20:10            26854572
acl2_8.5dfsg.orig.tar.gz                           15-Dec-2023 22:50           223546594
elpa-acl2_8.4dfsg-2_all.deb                        27-Aug-2023 01:56               70790
elpa-acl2_8.5dfsg-5build3_all.deb                  11-Apr-2024 20:10               72432