Name                                      Last modified      Size  Description
 Parent Directory                                               -   
 acl2-books-certs_6.3-5_all.deb            2013-10-24 12:36   11M  
 acl2-books-certs_7.1-1_all.deb            2015-06-27 09:48   13M  
 acl2-books-certs_8.0dfsg-1_all.deb        2018-01-13 22:08   70M  
 acl2-books-certs_8.2dfsg-3build1_all.deb  2020-03-23 09:24   66M  
 acl2-books-certs_8.4dfsg-2_all.deb        2021-12-18 20:10  221M  
 acl2-books-certs_8.5dfsg-1_all.deb        2022-07-28 05:29  220M  
 acl2-books-certs_8.5dfsg-5_all.deb        2023-01-16 21:29  216M  
 acl2-books-source_6.3-5_all.deb           2013-10-24 12:36  9.1M  
 acl2-books-source_7.1-1_all.deb           2015-06-27 09:48  9.9M  
 acl2-books-source_8.0dfsg-1_all.deb       2018-01-13 22:08   12M  
 acl2-books-source_8.2dfsg-3build1_all.deb 2020-03-23 09:24   14M  
 acl2-books-source_8.4dfsg-2_all.deb       2021-12-18 20:10   21M  
 acl2-books-source_8.5dfsg-1_all.deb       2022-07-28 05:29   23M  
 acl2-books-source_8.5dfsg-5_all.deb       2023-01-16 21:29   23M  
 acl2-books_6.3-5_amd64.deb                2013-10-24 12:36   40M  
 acl2-books_6.3-5_i386.deb                 2013-10-24 12:36   36M  
 acl2-books_7.1-1_amd64.deb                2015-06-27 09:48   19M  
 acl2-books_7.1-1_i386.deb                 2015-06-01 22:43   18M  
 acl2-books_8.0dfsg-1_amd64.deb            2018-01-13 22:08  132M  
 acl2-books_8.0dfsg-1_i386.deb             2018-01-13 23:49  114M  
 acl2-books_8.2dfsg-3build1_amd64.deb      2020-03-23 09:24  163M  
 acl2-books_8.4dfsg-2_amd64.deb            2021-12-18 20:09  338M  
 acl2-books_8.5dfsg-1_amd64.deb            2022-07-28 05:29  335M  
 acl2-books_8.5dfsg-5_amd64.deb            2023-01-16 21:29  329M  
 acl2-doc_6.3-5_all.deb                    2013-10-24 12:36   12M  
 acl2-doc_7.1-1_all.deb                    2015-06-27 09:48  353K  
 acl2-doc_8.0dfsg-1_all.deb                2018-01-13 22:08  385K  
 acl2-doc_8.2dfsg-3build1_all.deb          2020-03-23 09:24  418K  
 acl2-doc_8.4dfsg-2_all.deb                2021-12-18 20:09  441K  
 acl2-doc_8.5dfsg-1_all.deb                2022-07-28 05:29  473K  
 acl2-doc_8.5dfsg-5_all.deb                2023-01-16 21:29  473K  
 acl2-emacs_6.3-5_all.deb                  2013-10-24 12:36   55K  
 acl2-emacs_7.1-1_all.deb                  2015-06-27 09:48   55K  
 acl2-emacs_8.0dfsg-1_all.deb              2018-01-13 22:08   59K  
 acl2-emacs_8.2dfsg-3build1_all.deb        2020-03-23 09:24   59K  
 acl2-infix-source_6.3-5_all.deb           2013-10-24 12:36   86K  
 acl2-infix-source_7.1-1_all.deb           2015-06-27 09:48   70K  
 acl2-infix-source_8.0dfsg-1_all.deb       2018-01-13 22:08   70K  
 acl2-infix-source_8.2dfsg-3build1_all.deb 2020-03-23 09:24   70K  
 acl2-infix-source_8.4dfsg-2_all.deb       2021-12-18 20:10   72K  
 acl2-infix-source_8.5dfsg-1_all.deb       2022-07-28 05:29   72K  
 acl2-infix-source_8.5dfsg-5_all.deb       2023-01-16 21:29   72K  
 acl2-infix_6.3-5_amd64.deb                2013-10-24 12:36  200K  
 acl2-infix_6.3-5_i386.deb                 2013-10-24 12:36  189K  
 acl2-infix_7.1-1_amd64.deb                2015-06-27 09:48  140K  
 acl2-infix_7.1-1_i386.deb                 2015-06-01 22:43  142K  
 acl2-infix_8.0dfsg-1_amd64.deb            2018-01-13 22:08  414K  
 acl2-infix_8.0dfsg-1_i386.deb             2018-01-13 23:49  381K  
 acl2-infix_8.2dfsg-3build1_amd64.deb      2020-03-23 09:24  470K  
 acl2-infix_8.4dfsg-2_amd64.deb            2021-12-18 20:09  551K  
 acl2-infix_8.5dfsg-1_amd64.deb            2022-07-28 05:29  533K  
 acl2-infix_8.5dfsg-5_amd64.deb            2023-01-16 21:29  533K  
 acl2-source_6.3-5_all.deb                 2013-10-24 12:36  3.6M  
 acl2-source_7.1-1_all.deb                 2015-06-27 09:48  2.7M  
 acl2-source_8.0dfsg-1_all.deb             2018-01-13 22:08  2.9M  
 acl2-source_8.2dfsg-3build1_all.deb       2020-03-23 09:24  3.1M  
 acl2-source_8.4dfsg-2_all.deb             2021-12-18 20:10  3.4M  
 acl2-source_8.5dfsg-1_all.deb             2022-07-28 05:29  3.5M  
 acl2-source_8.5dfsg-5_all.deb             2023-01-16 21:29  3.5M  
 acl2_6.3-5.debian.tar.gz                  2013-10-21 09:09  158K  
 acl2_6.3-5.dsc                            2013-10-21 09:09  1.7K  
 acl2_6.3-5_amd64.deb                      2013-10-24 12:36   27M  
 acl2_6.3-5_i386.deb                       2013-10-24 12:36   23M  
 acl2_6.3.orig-books.tar.gz                2013-10-21 09:09   13M  
 acl2_6.3.orig.tar.gz                      2013-10-21 09:09  6.7M  
 acl2_7.1-1.debian.tar.xz                  2015-06-01 19:24  126K  
 acl2_7.1-1.dsc                            2015-06-01 19:24  2.2K  
 acl2_7.1-1_amd64.deb                      2015-06-27 09:48   16M  
 acl2_7.1-1_i386.deb                       2015-06-01 22:43   16M  
 acl2_7.1.orig.tar.gz                      2015-06-01 19:24   60M  
 acl2_8.0dfsg-1.debian.tar.xz              2018-01-13 18:08  200K  
 acl2_8.0dfsg-1.dsc                        2018-01-13 18:08  2.2K  
 acl2_8.0dfsg-1_amd64.deb                  2018-01-13 22:08   19M  
 acl2_8.0dfsg-1_i386.deb                   2018-01-13 23:49   16M  
 acl2_8.0dfsg.orig.tar.gz                  2018-01-13 18:08   74M  
 acl2_8.2dfsg-3build1.debian.tar.xz        2020-03-23 03:00  201K  
 acl2_8.2dfsg-3build1.dsc                  2020-03-23 03:00  2.2K  
 acl2_8.2dfsg-3build1_amd64.deb            2020-03-23 09:24   21M  
 acl2_8.2dfsg.orig.tar.gz                  2019-12-19 18:13   77M  
 acl2_8.4dfsg-2.debian.tar.xz              2021-11-01 19:24  304K  
 acl2_8.4dfsg-2.dsc                        2021-11-01 19:24  2.2K  
 acl2_8.4dfsg-2_amd64.deb                  2021-12-18 20:10   25M  
 acl2_8.4dfsg.orig.tar.gz                  2021-10-28 19:18  194M  
 acl2_8.5dfsg-1.debian.tar.xz              2022-07-27 19:33  305K  
 acl2_8.5dfsg-1.dsc                        2022-07-27 19:33  2.2K  
 acl2_8.5dfsg-1_amd64.deb                  2022-07-28 05:29   26M  
 acl2_8.5dfsg-5.debian.tar.xz              2023-01-16 12:44  306K  
 acl2_8.5dfsg-5.dsc                        2023-01-16 12:44  2.2K  
 acl2_8.5dfsg-5_amd64.deb                  2023-01-16 21:29   26M  
 acl2_8.5dfsg.orig.tar.gz                  2022-07-27 19:33  213M  
 elpa-acl2_8.4dfsg-2_all.deb               2021-12-18 20:09   69K  
 elpa-acl2_8.5dfsg-1_all.deb               2022-07-28 05:29   70K  
 elpa-acl2_8.5dfsg-5_all.deb               2023-01-16 21:29   70K