Index of /repos/pool/buster/main/a/acl2/

../
acl2-books-certs_8.0dfsg-1_all.deb                 20-Aug-2026 10:39     70M
acl2-books-source_8.0dfsg-1_all.deb                20-Aug-2026 10:39     12M
acl2-books_8.0dfsg-1_amd64.deb                     20-Aug-2026 10:39    132M
acl2-books_8.0dfsg-1_i386.deb                      20-Aug-2026 10:39    111M
acl2-doc_8.0dfsg-1_all.deb                         20-Aug-2026 10:39    392K
acl2-emacs_8.0dfsg-1_all.deb                       20-Aug-2026 10:39     66K
acl2-infix-source_8.0dfsg-1_all.deb                20-Aug-2026 10:39     77K
acl2-infix_8.0dfsg-1_amd64.deb                     20-Aug-2026 10:39    422K
acl2-infix_8.0dfsg-1_i386.deb                      20-Aug-2026 10:39    390K
acl2-source_8.0dfsg-1_all.deb                      20-Aug-2026 10:39      3M
acl2_8.0dfsg-1.debian.tar.xz                       20-Aug-2026 10:39    200K
acl2_8.0dfsg-1.dsc                                 20-Aug-2026 10:39    2245
acl2_8.0dfsg-1_amd64.deb                           20-Aug-2026 10:39     19M
acl2_8.0dfsg-1_i386.deb                            20-Aug-2026 10:39     16M
acl2_8.0dfsg.orig.tar.gz                           20-Aug-2026 10:39     74M