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

 Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 acl2_3.3-1ubuntu1.dsc                 17-Feb-2008 08:03  1.0K  
 acl2_3.6-4.dsc                        02-Feb-2010 08:06  1.1K  
 acl2_4.1-5.dsc                        07-Nov-2010 20:05  1.2K  
 acl2_4.2-1.dsc                        15-May-2011 21:04  1.2K  
 acl2_4.3-3.dsc                        06-May-2012 12:34  1.5K  
 acl2_6.0-2.dsc                        14-Jan-2013 13:33  1.7K  
 acl2_3.3-1ubuntu1.diff.gz             17-Feb-2008 08:03   13K  
 acl2_3.6-4.diff.gz                    02-Feb-2010 08:06   15K  
 acl2_4.1-5.debian.tar.gz              07-Nov-2010 20:05   17K  
 acl2_4.2-1.debian.tar.gz              15-May-2011 21:04   17K  
 acl2_4.3-3.debian.tar.gz              06-May-2012 12:34   18K  
 acl2-emacs_3.1-1_all.deb              07-Dec-2006 12:04   49K  
 acl2-emacs_4.1-5_all.deb              09-Nov-2010 10:04   50K  
 acl2-emacs_4.2-1_all.deb              02-Sep-2011 11:03   52K  
 acl2-emacs_4.3-3_all.deb              18-May-2012 22:33   53K  
 acl2-emacs_6.0-2_all.deb              14-Jan-2013 15:33   54K  
 acl2-emacs_3.6-4_all.deb              16-Feb-2010 16:05   56K  
 acl2-infix-source_4.1-5_all.deb       09-Nov-2010 10:04   78K  
 acl2-infix-source_4.2-1_all.deb       02-Sep-2011 11:03   80K  
 acl2-infix-source_3.1-1_all.deb       07-Dec-2006 12:04   83K  
 acl2-infix-source_3.6-4_all.deb       16-Feb-2010 16:05   84K  
 acl2-infix-source_4.3-3_all.deb       18-May-2012 22:33   86K  
 acl2-infix-source_6.0-2_all.deb       14-Jan-2013 15:33   87K  
 acl2_6.0-2.debian.tar.gz              14-Jan-2013 13:33  155K  
 acl2-infix_3.1-1_i386.deb             07-Dec-2006 12:04  166K  
 acl2-infix_4.3-3_i386.deb             18-May-2012 22:33  173K  
 acl2-infix_6.0-2_i386.deb             14-Jan-2013 15:33  174K  
 acl2-infix_4.3-3_amd64.deb            19-May-2012 00:34  194K  
 acl2-infix_6.0-2_amd64.deb            14-Jan-2013 16:03  195K  
 acl2-infix_3.3-1ubuntu1_amd64.deb     17-Feb-2008 10:03  195K  
 acl2-doc_4.2-1_all.deb                02-Sep-2011 11:03  264K  
 acl2-doc_4.3-3_all.deb                18-May-2012 22:33  348K  
 acl2-infix_3.6-4_i386.deb             16-Feb-2010 16:05  379K  
 acl2-infix_4.2-1_i386.deb             02-Sep-2011 11:04  400K  
 acl2-infix_4.1-5_i386.deb             09-Nov-2010 10:04  403K  
 acl2-infix_3.6-4_amd64.deb            16-Feb-2010 16:05  421K  
 acl2-infix_4.2-1_amd64.deb            02-Sep-2011 12:04  438K  
 acl2-infix_4.1-5_amd64.deb            09-Nov-2010 11:04  441K  
 acl2-books_3.1-1_i386.deb             07-Dec-2006 12:04  1.5M  
 acl2-books-certs_3.6-4_all.deb        16-Feb-2010 16:05  1.9M  
 acl2-books-certs_4.1-5_all.deb        09-Nov-2010 10:04  1.9M  
 acl2-books-certs_4.2-1_all.deb        02-Sep-2011 11:03  1.9M  
 acl2-doc_3.1-1_all.deb                07-Dec-2006 12:04  1.9M  
 acl2-books-source_3.1-1_all.deb       07-Dec-2006 12:04  2.1M  
 acl2-source_3.1-1_all.deb             07-Dec-2006 12:04  2.2M  
 acl2-doc_3.6-4_all.deb                16-Feb-2010 16:05  2.3M  
 acl2-doc_4.1-5_all.deb                09-Nov-2010 10:04  2.6M  
 acl2-source_3.6-4_all.deb             16-Feb-2010 16:05  2.6M  
 acl2-source_4.1-5_all.deb             09-Nov-2010 10:04  2.9M  
 acl2-source_4.2-1_all.deb             02-Sep-2011 11:03  3.0M  
 acl2-source_4.3-3_all.deb             18-May-2012 22:33  3.1M  
 acl2-source_6.0-2_all.deb             14-Jan-2013 15:33  3.5M  
 acl2-books-certs_4.3-3_all.deb        18-May-2012 22:33  4.2M  
 acl2-books-source_3.6-4_all.deb       16-Feb-2010 16:05  4.7M  
 acl2-books-certs_3.1-1_all.deb        07-Dec-2006 12:04  4.7M  
 acl2-books-source_4.1-5_all.deb       09-Nov-2010 10:04  4.9M  
 acl2-books-source_4.2-1_all.deb       02-Sep-2011 11:03  4.9M  
 acl2-books-certs_6.0-2_all.deb        14-Jan-2013 15:33  4.9M  
 acl2-books_3.3-1ubuntu1_amd64.deb     17-Feb-2008 10:03  6.1M  
 acl2-books-source_4.3-3_all.deb       18-May-2012 22:33  6.2M  
 acl2_6.0.orig.tar.gz                  13-Jan-2013 19:33  6.5M  
 acl2_3.3.orig.tar.gz                  04-Dec-2007 20:05  7.0M  
 acl2-doc_6.0-2_all.deb                14-Jan-2013 15:33  7.2M  
 acl2-books-source_6.0-2_all.deb       14-Jan-2013 15:33  7.5M  
 acl2_3.6.orig.tar.gz                  02-Feb-2010 08:06   10M  
 acl2_6.0.orig-books.tar.gz            13-Jan-2013 19:33   10M  
 acl2_4.1.orig.tar.gz                  15-Oct-2010 19:08   11M  
 acl2_4.2.orig.tar.gz                  15-May-2011 21:04   11M  
 acl2-books_4.3-3_i386.deb             18-May-2012 22:33   13M  
 acl2_4.3.orig.tar.gz                  01-May-2012 03:43   15M  
 acl2_3.1-1_i386.deb                   07-Dec-2006 12:04   15M  
 acl2-books_4.3-3_amd64.deb            19-May-2012 00:34   15M  
 acl2-books_6.0-2_i386.deb             14-Jan-2013 15:33   16M  
 acl2-books_6.0-2_amd64.deb            14-Jan-2013 16:03   18M  
 acl2_3.3-1ubuntu1_amd64.deb           17-Feb-2008 10:03   18M  
 acl2_3.6-4_i386.deb                   16-Feb-2010 16:05   20M  
 acl2_4.1-5_i386.deb                   09-Nov-2010 10:04   21M  
 acl2_4.2-1_i386.deb                   02-Sep-2011 11:04   22M  
 acl2_3.6-4_amd64.deb                  16-Feb-2010 16:05   22M  
 acl2_4.3-3_i386.deb                   18-May-2012 22:33   23M  
 acl2_4.1-5_amd64.deb                  09-Nov-2010 11:04   25M  
 acl2_4.2-1_amd64.deb                  02-Sep-2011 12:04   25M  
 acl2_6.0-2_i386.deb                   14-Jan-2013 15:33   26M  
 acl2_4.3-3_amd64.deb                  19-May-2012 00:34   27M  
 acl2-books_3.6-4_i386.deb             16-Feb-2010 16:05   29M  
 acl2_6.0-2_amd64.deb                  14-Jan-2013 16:03   30M  
 acl2-books_3.6-4_amd64.deb            16-Feb-2010 16:05   33M  
 acl2-books_4.1-5_i386.deb             09-Nov-2010 10:04   34M  
 acl2-books_4.2-1_i386.deb             02-Sep-2011 11:04   34M  
 acl2-books_4.1-5_amd64.deb            09-Nov-2010 11:04   39M  
 acl2-books_4.2-1_amd64.deb            02-Sep-2011 12:04   39M