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

Icon  Name                              Last modified      Size  Description
[DIR] Parent Directory                                       -   
[   ] acl2-books-certs_3.1-1_all.deb    07-Dec-2006 12:04  4.7M  
[   ] 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-books-certs_4.3-3_all.deb    18-May-2012 22:33  4.2M  
[   ] acl2-books-certs_6.0-2_all.deb    14-Jan-2013 15:33  4.9M  
[   ] acl2-books-source_3.1-1_all.deb   07-Dec-2006 12:04  2.1M  
[   ] acl2-books-source_3.6-4_all.deb   16-Feb-2010 16:05  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-source_4.3-3_all.deb   18-May-2012 22:33  6.2M  
[   ] acl2-books-source_6.0-2_all.deb   14-Jan-2013 15:33  7.5M  
[   ] acl2-books_3.1-1_i386.deb         07-Dec-2006 12:04  1.5M  
[   ] acl2-books_3.3-1ubuntu1_amd64.deb 17-Feb-2008 10:03  6.1M  
[   ] acl2-books_3.6-4_amd64.deb        16-Feb-2010 16:05   33M  
[   ] acl2-books_3.6-4_i386.deb         16-Feb-2010 16:05   29M  
[   ] acl2-books_4.1-5_amd64.deb        09-Nov-2010 11:04   39M  
[   ] acl2-books_4.1-5_i386.deb         09-Nov-2010 10:04   34M  
[   ] acl2-books_4.2-1_amd64.deb        02-Sep-2011 12:04   39M  
[   ] acl2-books_4.2-1_i386.deb         02-Sep-2011 11:04   34M  
[   ] acl2-books_4.3-3_amd64.deb        19-May-2012 00:34   15M  
[   ] acl2-books_4.3-3_i386.deb         18-May-2012 22:33   13M  
[   ] acl2-books_6.0-2_amd64.deb        14-Jan-2013 16:03   18M  
[   ] acl2-books_6.0-2_i386.deb         14-Jan-2013 15:33   16M  
[   ] acl2-doc_3.1-1_all.deb            07-Dec-2006 12:04  1.9M  
[   ] 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-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-doc_6.0-2_all.deb            14-Jan-2013 15:33  7.2M  
[   ] acl2-emacs_3.1-1_all.deb          07-Dec-2006 12:04   49K  
[   ] acl2-emacs_3.6-4_all.deb          16-Feb-2010 16:05   56K  
[   ] 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-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.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_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-infix_3.1-1_i386.deb         07-Dec-2006 12:04  166K  
[   ] acl2-infix_3.3-1ubuntu1_amd64.deb 17-Feb-2008 10:03  195K  
[   ] acl2-infix_3.6-4_amd64.deb        16-Feb-2010 16:05  421K  
[   ] acl2-infix_3.6-4_i386.deb         16-Feb-2010 16:05  379K  
[   ] acl2-infix_4.1-5_amd64.deb        09-Nov-2010 11:04  441K  
[   ] acl2-infix_4.1-5_i386.deb         09-Nov-2010 10:04  403K  
[   ] acl2-infix_4.2-1_amd64.deb        02-Sep-2011 12:04  438K  
[   ] acl2-infix_4.2-1_i386.deb         02-Sep-2011 11:04  400K  
[   ] acl2-infix_4.3-3_amd64.deb        19-May-2012 00:34  194K  
[   ] acl2-infix_4.3-3_i386.deb         18-May-2012 22:33  173K  
[   ] acl2-infix_6.0-2_amd64.deb        14-Jan-2013 16:03  195K  
[   ] acl2-infix_6.0-2_i386.deb         14-Jan-2013 15:33  174K  
[   ] acl2-source_3.1-1_all.deb         07-Dec-2006 12:04  2.2M  
[   ] 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_3.1-1_i386.deb               07-Dec-2006 12:04   15M  
[   ] acl2_3.3-1ubuntu1.diff.gz         17-Feb-2008 08:03   13K  
[TXT] acl2_3.3-1ubuntu1.dsc             17-Feb-2008 08:03  1.0K  
[   ] acl2_3.3-1ubuntu1_amd64.deb       17-Feb-2008 10:03   18M  
[   ] acl2_3.3.orig.tar.gz              04-Dec-2007 20:05  7.0M  
[   ] acl2_3.6-4.diff.gz                02-Feb-2010 08:06   15K  
[TXT] acl2_3.6-4.dsc                    02-Feb-2010 08:06  1.1K  
[   ] acl2_3.6-4_amd64.deb              16-Feb-2010 16:05   22M  
[   ] acl2_3.6-4_i386.deb               16-Feb-2010 16:05   20M  
[   ] acl2_3.6.orig.tar.gz              02-Feb-2010 08:06   10M  
[   ] acl2_4.1-5.debian.tar.gz          07-Nov-2010 20:05   17K  
[TXT] acl2_4.1-5.dsc                    07-Nov-2010 20:05  1.2K  
[   ] acl2_4.1-5_amd64.deb              09-Nov-2010 11:04   25M  
[   ] acl2_4.1-5_i386.deb               09-Nov-2010 10:04   21M  
[   ] acl2_4.1.orig.tar.gz              15-Oct-2010 19:08   11M  
[   ] acl2_4.2-1.debian.tar.gz          15-May-2011 21:04   17K  
[TXT] acl2_4.2-1.dsc                    15-May-2011 21:04  1.2K  
[   ] acl2_4.2-1_amd64.deb              02-Sep-2011 12:04   25M  
[   ] acl2_4.2-1_i386.deb               02-Sep-2011 11:04   22M  
[   ] acl2_4.2.orig.tar.gz              15-May-2011 21:04   11M  
[   ] acl2_4.3-3.debian.tar.gz          06-May-2012 12:34   18K  
[TXT] acl2_4.3-3.dsc                    06-May-2012 12:34  1.5K  
[   ] acl2_4.3-3_amd64.deb              19-May-2012 00:34   27M  
[   ] acl2_4.3-3_i386.deb               18-May-2012 22:33   23M  
[   ] acl2_4.3.orig.tar.gz              01-May-2012 03:43   15M  
[   ] acl2_6.0-2.debian.tar.gz          14-Jan-2013 13:33  155K  
[TXT] acl2_6.0-2.dsc                    14-Jan-2013 13:33  1.7K  
[   ] acl2_6.0-2_amd64.deb              14-Jan-2013 16:03   30M  
[   ] acl2_6.0-2_i386.deb               14-Jan-2013 15:33   26M  
[   ] acl2_6.0.orig-books.tar.gz        13-Jan-2013 19:33   10M  
[   ] acl2_6.0.orig.tar.gz              13-Jan-2013 19:33  6.5M
Microsoft-IIS/10.0 Server at ftp.ncnu.edu.tw Port 80