Index of /ubuntu/pool/universe/a/acl2

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                               -   
[   ] elpa-acl2_8.6+dfsg-2_all.deb              2025-05-02 22:14   78K  
[   ] elpa-acl2_8.5dfsg-6_all.deb               2024-07-29 01:20   71K  
[   ] elpa-acl2_8.5dfsg-5build3_all.deb         2024-04-02 05:02   71K  
[   ] elpa-acl2_8.4dfsg-2_all.deb               2021-12-18 22:09   69K  
[   ] acl2_8.6+dfsg-2_amd64.deb                 2025-05-02 22:14   46M  
[   ] acl2_8.5dfsg-6_amd64.deb                  2024-07-29 01:20   25M  
[   ] acl2_8.5dfsg-5build3_amd64.deb            2024-04-02 05:03   26M  
[   ] acl2_8.4dfsg-2_amd64.deb                  2021-12-18 22:10   25M  
[   ] acl2_8.2dfsg-3build1_amd64.deb            2020-03-23 10:24   21M  
[   ] acl2_8.0dfsg-1_i386.deb                   2018-01-14 01:49   16M  
[   ] acl2_8.0dfsg-1_amd64.deb                  2018-01-14 00:08   19M  
[   ] acl2_7.1-1_i386.deb                       2015-06-01 23:43   16M  
[   ] acl2_7.1-1_amd64.deb                      2015-06-27 10:48   16M  
[   ] acl2_6.3-5_i386.deb                       2013-10-24 13:36   23M  
[   ] acl2_6.3-5_amd64.deb                      2013-10-24 13:36   27M  
[   ] acl2-source_8.6+dfsg-2_all.deb            2025-05-02 22:14  3.9M  
[   ] acl2-source_8.5dfsg-6_all.deb             2024-07-29 01:20  3.5M  
[   ] acl2-source_8.5dfsg-5build3_all.deb       2024-04-02 05:02  3.5M  
[   ] acl2-source_8.4dfsg-2_all.deb             2021-12-18 22:10  3.4M  
[   ] acl2-source_8.2dfsg-3build1_all.deb       2020-03-23 10:24  3.1M  
[   ] acl2-source_8.0dfsg-1_all.deb             2018-01-14 00:08  2.9M  
[   ] acl2-source_7.1-1_all.deb                 2015-06-27 10:48  2.7M  
[   ] acl2-source_6.3-5_all.deb                 2013-10-24 13:36  3.6M  
[   ] acl2-infix_8.6+dfsg-2_amd64.deb           2025-05-02 22:14  1.0M  
[   ] acl2-infix_8.5dfsg-6_amd64.deb            2024-07-29 01:20  533K  
[   ] acl2-infix_8.5dfsg-5build3_amd64.deb      2024-04-02 05:02  538K  
[   ] acl2-infix_8.4dfsg-2_amd64.deb            2021-12-18 22:09  551K  
[   ] acl2-infix_8.2dfsg-3build1_amd64.deb      2020-03-23 10:24  470K  
[   ] acl2-infix_8.0dfsg-1_i386.deb             2018-01-14 01:49  381K  
[   ] acl2-infix_8.0dfsg-1_amd64.deb            2018-01-14 00:08  414K  
[   ] acl2-infix_7.1-1_i386.deb                 2015-06-01 23:43  142K  
[   ] acl2-infix_7.1-1_amd64.deb                2015-06-27 10:48  140K  
[   ] acl2-infix_6.3-5_i386.deb                 2013-10-24 13:36  189K  
[   ] acl2-infix_6.3-5_amd64.deb                2013-10-24 13:36  200K  
[   ] acl2-infix-source_8.6+dfsg-2_all.deb      2025-05-02 22:14   73K  
[   ] acl2-infix-source_8.5dfsg-6_all.deb       2024-07-29 01:20   72K  
[   ] acl2-infix-source_8.5dfsg-5build3_all.deb 2024-04-02 05:02   72K  
[   ] acl2-infix-source_8.4dfsg-2_all.deb       2021-12-18 22:10   72K  
[   ] acl2-infix-source_8.2dfsg-3build1_all.deb 2020-03-23 10:24   70K  
[   ] acl2-infix-source_8.0dfsg-1_all.deb       2018-01-14 00:08   70K  
[   ] acl2-infix-source_7.1-1_all.deb           2015-06-27 10:48   70K  
[   ] acl2-infix-source_6.3-5_all.deb           2013-10-24 13:36   86K  
[   ] acl2-emacs_8.2dfsg-3build1_all.deb        2020-03-23 10:24   59K  
[   ] acl2-emacs_8.0dfsg-1_all.deb              2018-01-14 00:08   59K  
[   ] acl2-emacs_7.1-1_all.deb                  2015-06-27 10:48   55K  
[   ] acl2-emacs_6.3-5_all.deb                  2013-10-24 13:36   55K  
[   ] acl2-doc_8.6+dfsg-2_all.deb               2025-05-02 22:14  516K  
[   ] acl2-doc_8.5dfsg-6_all.deb                2024-07-29 01:20  474K  
[   ] acl2-doc_8.5dfsg-5build3_all.deb          2024-04-02 05:02  474K  
[   ] acl2-doc_8.4dfsg-2_all.deb                2021-12-18 22:09  441K  
[   ] acl2-doc_8.2dfsg-3build1_all.deb          2020-03-23 10:24  418K  
[   ] acl2-doc_8.0dfsg-1_all.deb                2018-01-14 00:08  385K  
[   ] acl2-doc_7.1-1_all.deb                    2015-06-27 10:48  353K  
[   ] acl2-doc_6.3-5_all.deb                    2013-10-24 13:36   12M  
[   ] acl2-books_8.6+dfsg-2_amd64.deb           2025-05-02 22:14  469M  
[   ] acl2-books_8.5dfsg-6_amd64.deb            2024-07-29 01:20  171M  
[   ] acl2-books_8.5dfsg-5build3_amd64.deb      2024-04-02 05:03  331M  
[   ] acl2-books_8.4dfsg-2_amd64.deb            2021-12-18 22:09  338M  
[   ] acl2-books_8.2dfsg-3build1_amd64.deb      2020-03-23 10:24  163M  
[   ] acl2-books_8.0dfsg-1_i386.deb             2018-01-14 01:49  114M  
[   ] acl2-books_8.0dfsg-1_amd64.deb            2018-01-14 00:08  132M  
[   ] acl2-books_7.1-1_i386.deb                 2015-06-01 23:43   18M  
[   ] acl2-books_7.1-1_amd64.deb                2015-06-27 10:48   19M  
[   ] acl2-books_6.3-5_i386.deb                 2013-10-24 13:36   36M  
[   ] acl2-books_6.3-5_amd64.deb                2013-10-24 13:36   40M  
[   ] acl2-books-source_8.6+dfsg-2_all.deb      2025-05-02 22:14   26M  
[   ] acl2-books-source_8.5dfsg-6_all.deb       2024-07-29 01:20   23M  
[   ] acl2-books-source_8.5dfsg-5build3_all.deb 2024-04-02 05:02   23M  
[   ] acl2-books-source_8.4dfsg-2_all.deb       2021-12-18 22:10   21M  
[   ] acl2-books-source_8.2dfsg-3build1_all.deb 2020-03-23 10:24   14M  
[   ] acl2-books-source_8.0dfsg-1_all.deb       2018-01-14 00:08   12M  
[   ] acl2-books-source_7.1-1_all.deb           2015-06-27 10:48  9.9M  
[   ] acl2-books-source_6.3-5_all.deb           2013-10-24 13:36  9.1M  
[   ] acl2-books-certs_8.6+dfsg-2_all.deb       2025-05-02 22:14  267M  
[   ] acl2-books-certs_8.5dfsg-6_all.deb        2024-07-29 01:20   79M  
[   ] acl2-books-certs_8.5dfsg-5build3_all.deb  2024-04-02 05:03  216M  
[   ] acl2-books-certs_8.4dfsg-2_all.deb        2021-12-18 22:10  221M  
[   ] acl2-books-certs_8.2dfsg-3build1_all.deb  2020-03-23 10:24   66M  
[   ] acl2-books-certs_8.0dfsg-1_all.deb        2018-01-14 00:08   70M  
[   ] acl2-books-certs_7.1-1_all.deb            2015-06-27 10:48   13M  
[   ] acl2-books-certs_6.3-5_all.deb            2013-10-24 13:36   11M