Index of /linux/debian/bookworm/pool/main/a/acl2/

../
acl2-books-certs_8.5dfsg-5_all.deb                 17-Jul-2023 13:24           178375056
acl2-books-source_8.5dfsg-5_all.deb                17-Jul-2023 21:37            24662324
acl2-books_8.5dfsg-5_amd64.deb                     17-Jul-2023 13:21           300900920
acl2-books_8.5dfsg-5_arm64.deb                     17-Jul-2023 15:29           303470876
acl2-books_8.5dfsg-5_i386.deb                      17-Jul-2023 20:47           259607668
acl2-doc_8.5dfsg-5_all.deb                         17-Jul-2023 16:57              481328
acl2-infix-source_8.5dfsg-5_all.deb                17-Jul-2023 21:37               72332
acl2-infix_8.5dfsg-5_amd64.deb                     17-Jul-2023 21:37              475288
acl2-infix_8.5dfsg-5_arm64.deb                     17-Jul-2023 20:17              471720
acl2-infix_8.5dfsg-5_i386.deb                      17-Jul-2023 14:27              488940
acl2-source_8.5dfsg-5_all.deb                      17-Jul-2023 14:22             3587888
acl2_8.5dfsg-5_amd64.deb                           17-Jul-2023 15:47            23408224
acl2_8.5dfsg-5_arm64.deb                           17-Jul-2023 19:51            21588828
acl2_8.5dfsg-5_i386.deb                            17-Jul-2023 14:01            20377820
elpa-acl2_8.5dfsg-5_all.deb                        17-Jul-2023 14:01               70628