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

../
acl2-books-certs_4.3-3_all.deb                     20-Apr-2012 19:38      4M
acl2-books-certs_6.5-2~bpo70+1_all.deb             14-Jan-2015 16:26     19M
acl2-books-certs_8.3dfsg-2_all.deb                 28-Jan-2021 02:25    139M
acl2-books-source_4.3-3_all.deb                    20-Apr-2012 19:38      6M
acl2-books-source_6.5-2~bpo70+1_all.deb            14-Jan-2015 16:26     10M
acl2-books-source_8.3dfsg-2_all.deb                28-Jan-2021 02:25     19M
acl2-books_4.3-3_amd64.deb                         21-Apr-2012 00:02     15M
acl2-books_6.5-2~bpo70+1_amd64.deb                 14-Jan-2015 16:26     47M
acl2-books_8.3dfsg-2_amd64.deb                     27-Jan-2021 21:57    241M
acl2-doc_4.3-3_all.deb                             20-Apr-2012 19:38    354K
acl2-doc_6.5-2~bpo70+1_all.deb                     14-Jan-2015 16:26      2M
acl2-doc_8.3dfsg-2_all.deb                         28-Jan-2021 02:25    437K
acl2-emacs_4.3-3_all.deb                           20-Apr-2012 19:38     59K
acl2-emacs_6.5-2~bpo70+1_all.deb                   14-Jan-2015 16:26     71K
acl2-emacs_8.3dfsg-2_all.deb                       28-Jan-2021 02:25     68K
acl2-infix-source_4.3-3_all.deb                    20-Apr-2012 19:38     89K
acl2-infix-source_6.5-2~bpo70+1_all.deb            14-Jan-2015 16:26     90K
acl2-infix-source_8.3dfsg-2_all.deb                28-Jan-2021 02:25     78K
acl2-infix_4.3-3_amd64.deb                         21-Apr-2012 00:02    199K
acl2-infix_6.5-2~bpo70+1_amd64.deb                 14-Jan-2015 16:26    219K
acl2-infix_8.3dfsg-2_amd64.deb                     27-Jan-2021 21:57    479K
acl2-source_4.3-3_all.deb                          20-Apr-2012 19:38      3M
acl2-source_6.5-2~bpo70+1_all.deb                  14-Jan-2015 16:26      4M
acl2-source_8.3dfsg-2_all.deb                      28-Jan-2021 02:25      3M
acl2_4.3-3.debian.tar.gz                           20-Apr-2012 19:38     18K
acl2_4.3-3.dsc                                     20-Apr-2012 19:38    1491
acl2_4.3-3_amd64.deb                               21-Apr-2012 00:02     27M
acl2_4.3.orig.tar.gz                               11-Jan-2012 19:47     15M
acl2_6.5-2~bpo70+1.debian.tar.gz                   14-Jan-2015 16:26    160K
acl2_6.5-2~bpo70+1.dsc                             14-Jan-2015 16:26    2401
acl2_6.5-2~bpo70+1_amd64.deb                       14-Jan-2015 16:26     24M
acl2_6.5.orig-books.tar.gz                         17-Aug-2014 15:21     14M
acl2_6.5.orig.tar.gz                               17-Aug-2014 15:21      6M
acl2_8.3dfsg-2_amd64.deb                           27-Jan-2021 21:57     20M