Index of /extended-lts/pool/main/a/acl2/

../
acl2-books-certs_6.5-2_all.deb                     08-May-2025 13:44             6499338
acl2-books-source_6.5-2_all.deb                    08-May-2025 13:44             6956870
acl2-books_6.5-2_amd64.deb                         08-May-2025 13:44            23132372
acl2-doc_6.5-2_all.deb                             08-May-2025 13:44             1671882
acl2-emacs_6.5-2_all.deb                           08-May-2025 13:44               60874
acl2-infix-source_6.5-2_all.deb                    08-May-2025 13:44               79456
acl2-infix_6.5-2_amd64.deb                         08-May-2025 13:44              150020
acl2-source_6.5-2_all.deb                          08-May-2025 13:44             2764672
acl2_6.5-2_amd64.deb                               08-May-2025 13:44            16320288