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

../
acl2-books-certs_8.0dfsg-1_all.deb                 11-Mar-2022 19:10     70M
acl2-books-certs_8.2dfsg-3build1_all.deb           12-Mar-2022 13:52     66M
acl2-books-certs_8.4dfsg-2_all.deb                 04-Nov-2023 01:42    221M
acl2-books-source_8.0dfsg-1_all.deb                11-Mar-2022 19:10     12M
acl2-books-source_8.2dfsg-3build1_all.deb          12-Mar-2022 13:52     14M
acl2-books-source_8.4dfsg-2_all.deb                04-Nov-2023 01:42     21M
acl2-books_8.0dfsg-1_amd64.deb                     11-Mar-2022 19:11    132M
acl2-books_8.2dfsg-3build1_amd64.deb               12-Mar-2022 13:52    163M
acl2-books_8.4dfsg-2_amd64.deb                     07-Nov-2023 16:16    338M
acl2-doc_8.0dfsg-1_all.deb                         11-Mar-2022 19:11    385K
acl2-doc_8.2dfsg-3build1_all.deb                   12-Mar-2022 13:52    418K
acl2-doc_8.4dfsg-2_all.deb                         04-Nov-2023 01:42    441K
acl2-emacs_8.0dfsg-1_all.deb                       11-Mar-2022 19:11     59K
acl2-emacs_8.2dfsg-3build1_all.deb                 12-Mar-2022 13:52     59K
acl2-infix-source_8.0dfsg-1_all.deb                11-Mar-2022 19:11     70K
acl2-infix-source_8.2dfsg-3build1_all.deb          12-Mar-2022 13:52     70K
acl2-infix-source_8.4dfsg-2_all.deb                04-Nov-2023 01:42     72K
acl2-infix_8.0dfsg-1_amd64.deb                     11-Mar-2022 19:11    414K
acl2-infix_8.2dfsg-3build1_amd64.deb               12-Mar-2022 13:52    470K
acl2-infix_8.4dfsg-2_amd64.deb                     04-Nov-2023 01:42    551K
acl2-source_8.0dfsg-1_all.deb                      11-Mar-2022 19:11      3M
acl2-source_8.2dfsg-3build1_all.deb                12-Mar-2022 13:52      3M
acl2-source_8.4dfsg-2_all.deb                      04-Nov-2023 01:42      3M
acl2_8.0dfsg-1_amd64.deb                           11-Mar-2022 19:11     19M
acl2_8.2dfsg-3build1_amd64.deb                     12-Mar-2022 13:52     21M
acl2_8.4dfsg-2_amd64.deb                           04-Nov-2023 01:42     25M
elpa-acl2_8.4dfsg-2_all.deb                        04-Nov-2023 01:42     69K