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

Icon  Name                                      Last modified      Size  Description
[DIR] Parent Directory                                               -   
[   ] acl2_4.2-1.debian.tar.gz                  15-May-2011 09:04   17K  
[TXT] acl2_4.2-1.dsc                            15-May-2011 09:04  1.2K  
[   ] acl2_4.2.orig.tar.gz                      15-May-2011 09:04   11M  
[   ] acl2-books-source_4.2-1_all.deb           01-Sep-2011 23:03  4.9M  
[   ] acl2-doc_4.2-1_all.deb                    01-Sep-2011 23:03  264K  
[   ] acl2-emacs_4.2-1_all.deb                  01-Sep-2011 23:03   52K  
[   ] acl2-infix-source_4.2-1_all.deb           01-Sep-2011 23:03   80K  
[   ] acl2-source_4.2-1_all.deb                 01-Sep-2011 23:03  3.0M  
[   ] acl2-books-certs_4.2-1_all.deb            01-Sep-2011 23:03  1.9M  
[   ] acl2-infix_4.2-1_i386.deb                 01-Sep-2011 23:04  400K  
[   ] acl2-books_4.2-1_i386.deb                 01-Sep-2011 23:04   34M  
[   ] acl2_4.2-1_i386.deb                       01-Sep-2011 23:04   22M  
[   ] acl2-infix_4.2-1_amd64.deb                02-Sep-2011 00:04  438K  
[   ] acl2-books_4.2-1_amd64.deb                02-Sep-2011 00:04   39M  
[   ] acl2_4.2-1_amd64.deb                      02-Sep-2011 00:04   25M  
[   ] acl2_6.3-5.debian.tar.gz                  21-Oct-2013 09:09  158K  
[TXT] acl2_6.3-5.dsc                            21-Oct-2013 09:09  1.7K  
[   ] acl2_6.3.orig-books.tar.gz                21-Oct-2013 09:09   13M  
[   ] acl2_6.3.orig.tar.gz                      21-Oct-2013 09:09  6.7M  
[   ] acl2-source_6.3-5_all.deb                 24-Oct-2013 12:36  3.6M  
[   ] acl2-books-certs_6.3-5_all.deb            24-Oct-2013 12:36   11M  
[   ] acl2-books-source_6.3-5_all.deb           24-Oct-2013 12:36  9.1M  
[   ] acl2-emacs_6.3-5_all.deb                  24-Oct-2013 12:36   55K  
[   ] acl2-infix-source_6.3-5_all.deb           24-Oct-2013 12:36   86K  
[   ] acl2-books_6.3-5_amd64.deb                24-Oct-2013 12:36   40M  
[   ] acl2-doc_6.3-5_all.deb                    24-Oct-2013 12:36   12M  
[   ] acl2-infix_6.3-5_amd64.deb                24-Oct-2013 12:36  200K  
[   ] acl2_6.3-5_amd64.deb                      24-Oct-2013 12:36   27M  
[   ] acl2-infix_6.3-5_i386.deb                 24-Oct-2013 12:36  189K  
[   ] acl2_6.3-5_i386.deb                       24-Oct-2013 12:36   23M  
[   ] acl2-books_6.3-5_i386.deb                 24-Oct-2013 12:36   36M  
[   ] acl2_7.1-1.debian.tar.xz                  01-Jun-2015 19:24  126K  
[TXT] acl2_7.1-1.dsc                            01-Jun-2015 19:24  2.2K  
[   ] acl2_7.1.orig.tar.gz                      01-Jun-2015 19:24   60M  
[   ] acl2-books_7.1-1_i386.deb                 01-Jun-2015 22:43   18M  
[   ] acl2-infix_7.1-1_i386.deb                 01-Jun-2015 22:43  142K  
[   ] acl2_7.1-1_i386.deb                       01-Jun-2015 22:43   16M  
[   ] acl2-books-certs_7.1-1_all.deb            27-Jun-2015 09:48   13M  
[   ] acl2-books_7.1-1_amd64.deb                27-Jun-2015 09:48   19M  
[   ] acl2-doc_7.1-1_all.deb                    27-Jun-2015 09:48  353K  
[   ] acl2-infix_7.1-1_amd64.deb                27-Jun-2015 09:48  140K  
[   ] acl2-emacs_7.1-1_all.deb                  27-Jun-2015 09:48   55K  
[   ] acl2-books-source_7.1-1_all.deb           27-Jun-2015 09:48  9.9M  
[   ] acl2-infix-source_7.1-1_all.deb           27-Jun-2015 09:48   70K  
[   ] acl2_7.1-1_amd64.deb                      27-Jun-2015 09:48   16M  
[   ] acl2-source_7.1-1_all.deb                 27-Jun-2015 09:48  2.7M  
[TXT] acl2_8.0dfsg-1.dsc                        13-Jan-2018 18:08  2.2K  
[   ] acl2_8.0dfsg-1.debian.tar.xz              13-Jan-2018 18:08  200K  
[   ] acl2_8.0dfsg.orig.tar.gz                  13-Jan-2018 18:08   74M  
[   ] acl2-infix-source_8.0dfsg-1_all.deb       13-Jan-2018 22:08   70K  
[   ] acl2-doc_8.0dfsg-1_all.deb                13-Jan-2018 22:08  385K  
[   ] acl2-infix_8.0dfsg-1_amd64.deb            13-Jan-2018 22:08  414K  
[   ] acl2-source_8.0dfsg-1_all.deb             13-Jan-2018 22:08  2.9M  
[   ] acl2-books_8.0dfsg-1_amd64.deb            13-Jan-2018 22:08  132M  
[   ] acl2_8.0dfsg-1_amd64.deb                  13-Jan-2018 22:08   19M  
[   ] acl2-books-source_8.0dfsg-1_all.deb       13-Jan-2018 22:08   12M  
[   ] acl2-books-certs_8.0dfsg-1_all.deb        13-Jan-2018 22:08   70M  
[   ] acl2-emacs_8.0dfsg-1_all.deb              13-Jan-2018 22:08   59K  
[   ] acl2-books_8.0dfsg-1_i386.deb             13-Jan-2018 23:49  114M  
[   ] acl2-infix_8.0dfsg-1_i386.deb             13-Jan-2018 23:49  381K  
[   ] acl2_8.0dfsg-1_i386.deb                   13-Jan-2018 23:49   16M  
[   ] acl2_8.0dfsg-1build1.debian.tar.xz        15-Jan-2019 06:08  200K  
[TXT] acl2_8.0dfsg-1build1.dsc                  15-Jan-2019 06:08  2.2K  
[   ] acl2-books_8.0dfsg-1build1_i386.deb       15-Jan-2019 11:47  127M  
[   ] acl2-infix_8.0dfsg-1build1_i386.deb       15-Jan-2019 11:47  434K  
[   ] acl2_8.0dfsg-1build1_i386.deb             15-Jan-2019 11:47   17M  
[   ] acl2-books_8.0dfsg-1build1_amd64.deb      15-Jan-2019 13:13  145M  
[   ] acl2-books-source_8.0dfsg-1build1_all.deb 15-Jan-2019 13:13   12M  
[   ] acl2-doc_8.0dfsg-1build1_all.deb          15-Jan-2019 13:13  385K  
[   ] acl2-emacs_8.0dfsg-1build1_all.deb        15-Jan-2019 13:13   59K  
[   ] acl2-infix-source_8.0dfsg-1build1_all.deb 15-Jan-2019 13:13   70K  
[   ] acl2-infix_8.0dfsg-1build1_amd64.deb      15-Jan-2019 13:13  471K  
[   ] acl2-source_8.0dfsg-1build1_all.deb       15-Jan-2019 13:13  2.9M  
[   ] acl2_8.0dfsg-1build1_amd64.deb            15-Jan-2019 13:13   19M  
[   ] acl2-books-certs_8.0dfsg-1build1_all.deb  15-Jan-2019 13:13   70M  
[TXT] acl2_8.1dfsg-3.dsc                        21-Apr-2019 07:46  2.2K  
[   ] acl2_8.1dfsg-3.debian.tar.xz              21-Apr-2019 07:46  200K  
[   ] acl2_8.1dfsg.orig.tar.gz                  21-Apr-2019 07:46   75M  
[   ] acl2-source_8.1dfsg-3_all.deb             21-Apr-2019 15:43  3.0M  
[   ] acl2-infix_8.1dfsg-3_amd64.deb            21-Apr-2019 15:43  472K  
[   ] acl2-books-certs_8.1dfsg-3_all.deb        21-Apr-2019 15:43   77M  
[   ] acl2-books-source_8.1dfsg-3_all.deb       21-Apr-2019 15:43   13M  
[   ] acl2-books_8.1dfsg-3_amd64.deb            21-Apr-2019 15:43  156M  
[   ] acl2_8.1dfsg-3_amd64.deb                  21-Apr-2019 15:43   19M  
[   ] acl2-doc_8.1dfsg-3_all.deb                21-Apr-2019 15:43  396K  
[   ] acl2-emacs_8.1dfsg-3_all.deb              21-Apr-2019 15:43   59K  
[   ] acl2-infix-source_8.1dfsg-3_all.deb       21-Apr-2019 15:43   70K  
[   ] acl2-infix_8.1dfsg-3_i386.deb             21-Apr-2019 19:31  475K  
[   ] acl2_8.1dfsg-3_i386.deb                   21-Apr-2019 19:31   18M  
[   ] acl2-books_8.1dfsg-3_i386.deb             21-Apr-2019 19:31  139M
Apache Server at 209.208.0.134 Port 80