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