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.twaren.net Port 80