Index of /01042025/pool/universe/a/acl2/

../
acl2-books-certs_8.4dfsg-2_all.deb                 17-Dec-2024 10:47           231831222
acl2-books-source_8.4dfsg-2_all.deb                17-Dec-2024 12:19            22136204
acl2-books_8.4dfsg-2_amd64.deb                     17-Dec-2024 13:54           353947352
acl2-doc_8.4dfsg-2_all.deb                         17-Dec-2024 10:35              451656
acl2-infix-source_8.4dfsg-2_all.deb                17-Dec-2024 11:11               73680
acl2-infix_8.4dfsg-2_amd64.deb                     17-Dec-2024 13:25              564006
acl2-source_8.4dfsg-2_all.deb                      17-Dec-2024 13:51             3536828
acl2_8.4dfsg-2_amd64.deb                           17-Dec-2024 09:29            26133150
elpa-acl2_8.4dfsg-2_all.deb                        17-Dec-2024 10:09               70790