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

../
acl2-books-certs_4.0-3_all.deb                     26-Apr-2023 10:34      2M
acl2-books-certs_7.2dfsg-3_all.deb                 26-Apr-2023 13:21     52M
acl2-books-source_4.0-3_all.deb                    26-Apr-2023 10:34      5M
acl2-books-source_7.2dfsg-3_all.deb                26-Apr-2023 13:21     10M
acl2-books_4.0-3_i386.deb                          26-Apr-2023 10:34     32M
acl2-books_7.2dfsg-3_i386.deb                      26-Apr-2023 13:21     86M
acl2-doc_4.0-3_all.deb                             26-Apr-2023 10:34      3M
acl2-doc_7.2dfsg-3_all.deb                         26-Apr-2023 13:21    372K
acl2-emacs_4.0-3_all.deb                           26-Apr-2023 10:34     57K
acl2-emacs_7.2dfsg-3_all.deb                       26-Apr-2023 13:21     63K
acl2-infix-source_4.0-3_all.deb                    26-Apr-2023 10:34     87K
acl2-infix-source_7.2dfsg-3_all.deb                26-Apr-2023 13:21     77K
acl2-infix_4.0-3_i386.deb                          26-Apr-2023 10:34    381K
acl2-infix_7.2dfsg-3_i386.deb                      26-Apr-2023 13:21    381K
acl2-source_4.0-3_all.deb                          26-Apr-2023 10:34      3M
acl2-source_7.2dfsg-3_all.deb                      26-Apr-2023 13:21      3M
acl2_4.0-3.diff.gz                                 26-Apr-2023 10:34     16K
acl2_4.0-3.dsc                                     26-Apr-2023 10:34    1168
acl2_4.0-3_i386.deb                                26-Apr-2023 10:34     21M
acl2_4.0.orig.tar.gz                               26-Apr-2023 10:34     11M
acl2_7.2dfsg-3.debian.tar.xz                       26-Apr-2023 13:21    199K
acl2_7.2dfsg-3.dsc                                 26-Apr-2023 13:21    2231
acl2_7.2dfsg-3_i386.deb                            26-Apr-2023 13:21     15M
acl2_7.2dfsg.orig.tar.gz                           26-Apr-2023 13:21     61M