Index of /Linux/Ubuntu/ubuntu/pool/universe/a/acl2
Name Last modified Size Description
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
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
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
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
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
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
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