Index of /arm64/pool/universe/a/acl2/

../
acl2-books-certs_8.4dfsg-2_all.deb                 18-Sep-2023 14:09           231831222
acl2-books-certs_8.5dfsg-5build3_all.deb           24-Apr-2025 19:04           226234436
acl2-books-source_8.4dfsg-2_all.deb                18-Sep-2023 14:09            22136204
acl2-books-source_8.5dfsg-5build3_all.deb          24-Apr-2025 19:04            23801362
acl2-books_8.4dfsg-2_arm64.deb                     18-Sep-2023 14:09           351062826
acl2-books_8.5dfsg-5build3_arm64.deb               24-Apr-2025 19:04           353503934
acl2-doc_8.4dfsg-2_all.deb                         18-Sep-2023 14:09              451656
acl2-doc_8.5dfsg-5build3_all.deb                   24-Apr-2025 19:04              485308
acl2-infix-source_8.4dfsg-2_all.deb                18-Sep-2023 14:09               73680
acl2-infix-source_8.5dfsg-5build3_all.deb          24-Apr-2025 19:04               74148
acl2-infix_8.4dfsg-2_arm64.deb                     18-Sep-2023 14:09              572608
acl2-infix_8.5dfsg-5build3_arm64.deb               24-Apr-2025 19:04              554498
acl2-source_8.4dfsg-2_all.deb                      18-Sep-2023 14:09             3536828
acl2-source_8.5dfsg-5build3_all.deb                24-Apr-2025 19:04             3652452
acl2_8.4dfsg-2_arm64.deb                           18-Sep-2023 14:09            25090910
acl2_8.5dfsg-5build3_arm64.deb                     24-Apr-2025 19:04            25345322
elpa-acl2_8.4dfsg-2_all.deb                        18-Sep-2023 14:09               70790
elpa-acl2_8.5dfsg-5build3_all.deb                  24-Apr-2025 19:04               72432