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

Icon  Name                                      Last modified      Size  Description
[PARENTDIR] Parent Directory                                               -   
[   ] acl2-books-certs_7.1-1_all.deb            2015-06-27 15:48   13M  
[   ] acl2-books-certs_8.0dfsg-1_all.deb        2018-01-14 04:08   70M  
[   ] acl2-books-certs_8.2dfsg-3build1_all.deb  2020-03-23 14:24   66M  
[   ] acl2-books-certs_8.4dfsg-2_all.deb        2021-12-19 02:10  221M  
[   ] acl2-books-source_7.1-1_all.deb           2015-06-27 15:48  9.9M  
[   ] acl2-books-source_8.0dfsg-1_all.deb       2018-01-14 04:08   12M  
[   ] acl2-books-source_8.2dfsg-3build1_all.deb 2020-03-23 14:24   14M  
[   ] acl2-books-source_8.4dfsg-2_all.deb       2021-12-19 02:10   21M  
[   ] acl2-books_7.1-1_amd64.deb                2015-06-27 15:48   19M  
[   ] acl2-books_7.1-1_i386.deb                 2015-06-02 04:43   18M  
[   ] acl2-books_8.0dfsg-1_amd64.deb            2018-01-14 04:08  132M  
[   ] acl2-books_8.0dfsg-1_i386.deb             2018-01-14 05:49  114M  
[   ] acl2-books_8.2dfsg-3build1_amd64.deb      2020-03-23 14:24  163M  
[   ] acl2-books_8.4dfsg-2_amd64.deb            2021-12-19 02:09  338M  
[   ] acl2-doc_7.1-1_all.deb                    2015-06-27 15:48  353K  
[   ] acl2-doc_8.0dfsg-1_all.deb                2018-01-14 04:08  385K  
[   ] acl2-doc_8.2dfsg-3build1_all.deb          2020-03-23 14:24  418K  
[   ] acl2-doc_8.4dfsg-2_all.deb                2021-12-19 02:09  441K  
[   ] acl2-emacs_7.1-1_all.deb                  2015-06-27 15:48   55K  
[   ] acl2-emacs_8.0dfsg-1_all.deb              2018-01-14 04:08   59K  
[   ] acl2-emacs_8.2dfsg-3build1_all.deb        2020-03-23 14:24   59K  
[   ] acl2-infix-source_7.1-1_all.deb           2015-06-27 15:48   70K  
[   ] acl2-infix-source_8.0dfsg-1_all.deb       2018-01-14 04:08   70K  
[   ] acl2-infix-source_8.2dfsg-3build1_all.deb 2020-03-23 14:24   70K  
[   ] acl2-infix-source_8.4dfsg-2_all.deb       2021-12-19 02:10   72K  
[   ] acl2-infix_7.1-1_amd64.deb                2015-06-27 15:48  140K  
[   ] acl2-infix_7.1-1_i386.deb                 2015-06-02 04:43  142K  
[   ] acl2-infix_8.0dfsg-1_amd64.deb            2018-01-14 04:08  414K  
[   ] acl2-infix_8.0dfsg-1_i386.deb             2018-01-14 05:49  381K  
[   ] acl2-infix_8.2dfsg-3build1_amd64.deb      2020-03-23 14:24  470K  
[   ] acl2-infix_8.4dfsg-2_amd64.deb            2021-12-19 02:09  551K  
[   ] acl2-source_7.1-1_all.deb                 2015-06-27 15:48  2.7M  
[   ] acl2-source_8.0dfsg-1_all.deb             2018-01-14 04:08  2.9M  
[   ] acl2-source_8.2dfsg-3build1_all.deb       2020-03-23 14:24  3.1M  
[   ] acl2-source_8.4dfsg-2_all.deb             2021-12-19 02:10  3.4M  
[   ] acl2_7.1-1.debian.tar.xz                  2015-06-02 01:24  126K  
[   ] acl2_7.1-1.dsc                            2015-06-02 01:24  2.2K  
[   ] acl2_7.1-1_amd64.deb                      2015-06-27 15:48   16M  
[   ] acl2_7.1-1_i386.deb                       2015-06-02 04:43   16M  
[   ] acl2_7.1.orig.tar.gz                      2015-06-02 01:24   60M  
[   ] acl2_8.0dfsg-1.debian.tar.xz              2018-01-14 00:08  200K  
[   ] acl2_8.0dfsg-1.dsc                        2018-01-14 00:08  2.2K  
[   ] acl2_8.0dfsg-1_amd64.deb                  2018-01-14 04:08   19M  
[   ] acl2_8.0dfsg-1_i386.deb                   2018-01-14 05:49   16M  
[   ] acl2_8.0dfsg.orig.tar.gz                  2018-01-14 00:08   74M  
[   ] acl2_8.2dfsg-3build1.debian.tar.xz        2020-03-23 08:00  201K  
[   ] acl2_8.2dfsg-3build1.dsc                  2020-03-23 08:00  2.2K  
[   ] acl2_8.2dfsg-3build1_amd64.deb            2020-03-23 14:24   21M  
[   ] acl2_8.2dfsg.orig.tar.gz                  2019-12-20 00:13   77M  
[   ] acl2_8.4dfsg-2.debian.tar.xz              2021-11-02 00:24  304K  
[   ] acl2_8.4dfsg-2.dsc                        2021-11-02 00:24  2.2K  
[   ] acl2_8.4dfsg-2_amd64.deb                  2021-12-19 02:10   25M  
[   ] acl2_8.4dfsg.orig.tar.gz                  2021-10-29 01:18  194M  
[   ] elpa-acl2_8.4dfsg-2_all.deb               2021-12-19 02:09   69K