Index of /aptly/ubuntu-jammy/pool/main/a/acl2/

../
acl2-books-certs_8.4dfsg-2_all.deb                 17-Oct-2024 14:30           231831222
acl2-books-source_8.4dfsg-2_all.deb                17-Oct-2024 14:44            22136204
acl2-books_8.4dfsg-2_amd64.deb                     17-Oct-2024 14:43           353947352
acl2-doc_8.4dfsg-2_all.deb                         17-Oct-2024 14:12              451656
acl2-infix-source_8.4dfsg-2_all.deb                17-Oct-2024 13:37               73680
acl2-infix_8.4dfsg-2_amd64.deb                     17-Oct-2024 14:02              564006
acl2-source_8.4dfsg-2_all.deb                      17-Oct-2024 14:04             3536828
acl2_8.4dfsg-2_amd64.deb                           17-Oct-2024 14:16            26133150
elpa-acl2_8.4dfsg-2_all.deb                        17-Oct-2024 13:39               70790