Index of /waves/wave-001-2026-04-14/archive/pool/universe/a/acl2/

../
acl2-books-certs_8.4dfsg-2_all.deb                 27-Feb-2026 12:14           231831222
acl2-books-certs_8.5dfsg-5build3_all.deb           27-Feb-2026 12:14           226234436
acl2-books-source_8.4dfsg-2_all.deb                27-Feb-2026 12:14            22136204
acl2-books-source_8.5dfsg-5build3_all.deb          27-Feb-2026 12:14            23801362
acl2-books_8.4dfsg-2_amd64.deb                     27-Feb-2026 12:14           353947352
acl2-books_8.5dfsg-5build3_amd64.deb               27-Feb-2026 12:14           346555008
acl2-doc_8.4dfsg-2_all.deb                         27-Feb-2026 12:14              451656
acl2-doc_8.5dfsg-5build3_all.deb                   27-Feb-2026 12:14              485308
acl2-infix-source_8.4dfsg-2_all.deb                27-Feb-2026 12:14               73680
acl2-infix-source_8.5dfsg-5build3_all.deb          27-Feb-2026 12:14               74148
acl2-infix_8.4dfsg-2_amd64.deb                     27-Feb-2026 12:14              564006
acl2-infix_8.5dfsg-5build3_amd64.deb               27-Feb-2026 12:14              551042
acl2-source_8.4dfsg-2_all.deb                      27-Feb-2026 12:14             3536828
acl2-source_8.5dfsg-5build3_all.deb                27-Feb-2026 12:14             3652452
acl2_8.4dfsg-2_amd64.deb                           27-Feb-2026 12:14            26133150
acl2_8.5dfsg-5build3_amd64.deb                     27-Feb-2026 12:14            26854572
elpa-acl2_8.4dfsg-2_all.deb                        27-Feb-2026 12:14               70790
elpa-acl2_8.5dfsg-5build3_all.deb                  27-Feb-2026 12:14               72432