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

../
acl2-books-certs_8.2dfsg-3build1_all.deb           01-Oct-2021 17:04            68979892
acl2-books-source_8.2dfsg-3build1_all.deb          01-Oct-2021 16:26            14290112
acl2-books_8.2dfsg-3build1_amd64.deb               01-Oct-2021 15:55           171294740
acl2-doc_8.2dfsg-3build1_all.deb                   01-Oct-2021 15:45              428100
acl2-emacs_8.2dfsg-3build1_all.deb                 01-Oct-2021 16:36               60520
acl2-infix-source_8.2dfsg-3build1_all.deb          01-Oct-2021 16:00               71920
acl2-infix_8.2dfsg-3build1_amd64.deb               01-Oct-2021 16:17              481148
acl2-source_8.2dfsg-3build1_all.deb                01-Oct-2021 16:37             3268812
acl2_8.2dfsg-3build1_amd64.deb                     01-Oct-2021 16:12            21932904