Index of /bionic-18.04/pool/universe/a/acl2/

../
acl2-books-certs_8.0dfsg-1_all.deb                 23-Feb-2024 18:03            73403184
acl2-books-source_8.0dfsg-1_all.deb                23-Feb-2024 18:12            12466104
acl2-books_8.0dfsg-1_amd64.deb                     23-Feb-2024 18:11           138083420
acl2-doc_8.0dfsg-1_all.deb                         23-Feb-2024 18:02              394360
acl2-emacs_8.0dfsg-1_all.deb                       23-Feb-2024 18:04               60340
acl2-infix-source_8.0dfsg-1_all.deb                23-Feb-2024 18:10               71888
acl2-infix_8.0dfsg-1_amd64.deb                     23-Feb-2024 18:11              424152
acl2-source_8.0dfsg-1_all.deb                      23-Feb-2024 18:24             3074488
acl2_8.0dfsg-1_amd64.deb                           23-Feb-2024 18:19            19704384