Index of /ubuntu/pool/universe/a/acl2
Name Last modified Size Description
Parent Directory -
acl2-books-certs_3.1-1_all.deb 07-Dec-2006 13:04 4.7M
acl2-books-certs_3.6-4_all.deb 16-Feb-2010 17:05 1.9M
acl2-books-certs_4.0-3_all.deb 09-Sep-2010 07:05 1.9M
acl2-books-certs_4.1-5_all.deb 09-Nov-2010 11:04 1.9M
acl2-books-certs_4.2-1_all.deb 02-Sep-2011 12:03 1.9M
acl2-books-certs_4.3-3_all.deb 18-May-2012 23:33 4.2M
acl2-books-source_3.1-1_all.deb 07-Dec-2006 13:04 2.1M
acl2-books-source_3.6-4_all.deb 16-Feb-2010 17:05 4.7M
acl2-books-source_4.0-3_all.deb 09-Sep-2010 07:05 4.8M
acl2-books-source_4.1-5_all.deb 09-Nov-2010 11:04 4.9M
acl2-books-source_4.2-1_all.deb 02-Sep-2011 12:03 4.9M
acl2-books-source_4.3-3_all.deb 18-May-2012 23:33 6.2M
acl2-books_3.1-1_i386.deb 07-Dec-2006 13:04 1.5M
acl2-books_3.3-1ubuntu1_amd64.deb 17-Feb-2008 11:03 6.1M
acl2-books_3.6-4_amd64.deb 16-Feb-2010 17:05 33M
acl2-books_3.6-4_i386.deb 16-Feb-2010 17:05 29M
acl2-books_4.0-3_amd64.deb 07-Sep-2010 14:05 37M
acl2-books_4.0-3_i386.deb 09-Sep-2010 07:05 32M
acl2-books_4.1-5_amd64.deb 09-Nov-2010 12:04 39M
acl2-books_4.1-5_i386.deb 09-Nov-2010 11:04 34M
acl2-books_4.2-1_amd64.deb 02-Sep-2011 13:04 39M
acl2-books_4.2-1_i386.deb 02-Sep-2011 12:04 34M
acl2-books_4.3-3_amd64.deb 19-May-2012 01:34 15M
acl2-books_4.3-3_i386.deb 18-May-2012 23:33 13M
acl2-doc_3.1-1_all.deb 07-Dec-2006 13:04 1.9M
acl2-doc_3.6-4_all.deb 16-Feb-2010 17:05 2.3M
acl2-doc_4.0-3_all.deb 09-Sep-2010 07:05 2.6M
acl2-doc_4.1-5_all.deb 09-Nov-2010 11:04 2.6M
acl2-doc_4.2-1_all.deb 02-Sep-2011 12:03 264K
acl2-doc_4.3-3_all.deb 18-May-2012 23:33 348K
acl2-emacs_3.1-1_all.deb 07-Dec-2006 13:04 49K
acl2-emacs_3.6-4_all.deb 16-Feb-2010 17:05 56K
acl2-emacs_4.0-3_all.deb 09-Sep-2010 07:05 56K
acl2-emacs_4.1-5_all.deb 09-Nov-2010 11:04 50K
acl2-emacs_4.2-1_all.deb 02-Sep-2011 12:03 52K
acl2-emacs_4.3-3_all.deb 18-May-2012 23:33 53K
acl2-infix-source_3.1-1_all.deb 07-Dec-2006 13:04 83K
acl2-infix-source_3.6-4_all.deb 16-Feb-2010 17:05 84K
acl2-infix-source_4.0-3_all.deb 09-Sep-2010 07:05 85K
acl2-infix-source_4.1-5_all.deb 09-Nov-2010 11:04 78K
acl2-infix-source_4.2-1_all.deb 02-Sep-2011 12:03 80K
acl2-infix-source_4.3-3_all.deb 18-May-2012 23:33 86K
acl2-infix_3.1-1_i386.deb 07-Dec-2006 13:04 166K
acl2-infix_3.3-1ubuntu1_amd64.deb 17-Feb-2008 11:03 195K
acl2-infix_3.6-4_amd64.deb 16-Feb-2010 17:05 421K
acl2-infix_3.6-4_i386.deb 16-Feb-2010 17:05 379K
acl2-infix_4.0-3_amd64.deb 07-Sep-2010 14:05 421K
acl2-infix_4.0-3_i386.deb 09-Sep-2010 07:05 380K
acl2-infix_4.1-5_amd64.deb 09-Nov-2010 12:04 441K
acl2-infix_4.1-5_i386.deb 09-Nov-2010 11:04 403K
acl2-infix_4.2-1_amd64.deb 02-Sep-2011 13:04 438K
acl2-infix_4.2-1_i386.deb 02-Sep-2011 12:04 400K
acl2-infix_4.3-3_amd64.deb 19-May-2012 01:34 194K
acl2-infix_4.3-3_i386.deb 18-May-2012 23:33 173K
acl2-source_3.1-1_all.deb 07-Dec-2006 13:04 2.2M
acl2-source_3.6-4_all.deb 16-Feb-2010 17:05 2.6M
acl2-source_4.0-3_all.deb 09-Sep-2010 07:05 2.9M
acl2-source_4.1-5_all.deb 09-Nov-2010 11:04 2.9M
acl2-source_4.2-1_all.deb 02-Sep-2011 12:03 3.0M
acl2-source_4.3-3_all.deb 18-May-2012 23:33 3.1M
acl2_3.1-1_i386.deb 07-Dec-2006 13:04 15M
acl2_3.3-1ubuntu1.diff.gz 17-Feb-2008 09:03 13K
acl2_3.3-1ubuntu1.dsc 17-Feb-2008 09:03 1.0K
acl2_3.3-1ubuntu1_amd64.deb 17-Feb-2008 11:03 18M
acl2_3.3.orig.tar.gz 04-Dec-2007 21:05 7.0M
acl2_3.6-4.diff.gz 02-Feb-2010 09:06 15K
acl2_3.6-4.dsc 02-Feb-2010 09:06 1.1K
acl2_3.6-4_amd64.deb 16-Feb-2010 17:05 22M
acl2_3.6-4_i386.deb 16-Feb-2010 17:05 20M
acl2_3.6.orig.tar.gz 02-Feb-2010 09:06 10M
acl2_4.0-3.diff.gz 07-Sep-2010 09:05 16K
acl2_4.0-3.dsc 07-Sep-2010 09:05 1.1K
acl2_4.0-3_amd64.deb 07-Sep-2010 14:05 25M
acl2_4.0-3_i386.deb 09-Sep-2010 07:05 21M
acl2_4.0.orig.tar.gz 07-Sep-2010 09:05 11M
acl2_4.1-5.debian.tar.gz 07-Nov-2010 21:05 17K
acl2_4.1-5.dsc 07-Nov-2010 21:05 1.2K
acl2_4.1-5_amd64.deb 09-Nov-2010 12:04 25M
acl2_4.1-5_i386.deb 09-Nov-2010 11:04 21M
acl2_4.1.orig.tar.gz 15-Oct-2010 20:08 11M
acl2_4.2-1.debian.tar.gz 15-May-2011 22:04 17K
acl2_4.2-1.dsc 15-May-2011 22:04 1.2K
acl2_4.2-1_amd64.deb 02-Sep-2011 13:04 25M
acl2_4.2-1_i386.deb 02-Sep-2011 12:04 22M
acl2_4.2.orig.tar.gz 15-May-2011 22:04 11M
acl2_4.3-3.debian.tar.gz 06-May-2012 13:34 18K
acl2_4.3-3.dsc 06-May-2012 13:34 1.5K
acl2_4.3-3_amd64.deb 19-May-2012 01:34 27M
acl2_4.3-3_i386.deb 18-May-2012 23:33 23M
acl2_4.3.orig.tar.gz 01-May-2012 04:43 15M