Index of /ubuntu/pool/universe/a/acl2/
../
acl2-books-certs_3.1-1_all.deb 07-Dec-2006 04:04 5M
acl2-books-certs_3.6-4_all.deb 16-Feb-2010 08:05 2M
acl2-books-certs_4.0-3_all.deb 08-Sep-2010 22:05 2M
acl2-books-certs_4.1-5_all.deb 09-Nov-2010 02:04 2M
acl2-books-certs_4.2-1_all.deb 02-Sep-2011 03:03 2M
acl2-books-certs_4.3-3_all.deb 18-May-2012 14:33 4M
acl2-books-source_3.1-1_all.deb 07-Dec-2006 04:04 2M
acl2-books-source_3.6-4_all.deb 16-Feb-2010 08:05 5M
acl2-books-source_4.0-3_all.deb 08-Sep-2010 22:05 5M
acl2-books-source_4.1-5_all.deb 09-Nov-2010 02:04 5M
acl2-books-source_4.2-1_all.deb 02-Sep-2011 03:03 5M
acl2-books-source_4.3-3_all.deb 18-May-2012 14:33 6M
acl2-books_3.1-1_i386.deb 07-Dec-2006 04:04 2M
acl2-books_3.3-1ubuntu1_amd64.deb 17-Feb-2008 02:03 6M
acl2-books_3.6-4_amd64.deb 16-Feb-2010 08:05 33M
acl2-books_3.6-4_i386.deb 16-Feb-2010 08:05 29M
acl2-books_4.0-3_amd64.deb 07-Sep-2010 05:05 37M
acl2-books_4.0-3_i386.deb 08-Sep-2010 22:05 32M
acl2-books_4.1-5_amd64.deb 09-Nov-2010 03:04 39M
acl2-books_4.1-5_i386.deb 09-Nov-2010 02:04 34M
acl2-books_4.2-1_amd64.deb 02-Sep-2011 04:04 39M
acl2-books_4.2-1_i386.deb 02-Sep-2011 03:04 34M
acl2-books_4.3-3_amd64.deb 18-May-2012 16:34 15M
acl2-books_4.3-3_i386.deb 18-May-2012 14:33 13M
acl2-doc_3.1-1_all.deb 07-Dec-2006 04:04 2M
acl2-doc_3.6-4_all.deb 16-Feb-2010 08:05 2M
acl2-doc_4.0-3_all.deb 08-Sep-2010 22:05 3M
acl2-doc_4.1-5_all.deb 09-Nov-2010 02:04 3M
acl2-doc_4.2-1_all.deb 02-Sep-2011 03:03 264K
acl2-doc_4.3-3_all.deb 18-May-2012 14:33 348K
acl2-emacs_3.1-1_all.deb 07-Dec-2006 04:04 49K
acl2-emacs_3.6-4_all.deb 16-Feb-2010 08:05 56K
acl2-emacs_4.0-3_all.deb 08-Sep-2010 22:05 56K
acl2-emacs_4.1-5_all.deb 09-Nov-2010 02:04 50K
acl2-emacs_4.2-1_all.deb 02-Sep-2011 03:03 52K
acl2-emacs_4.3-3_all.deb 18-May-2012 14:33 53K
acl2-infix-source_3.1-1_all.deb 07-Dec-2006 04:04 83K
acl2-infix-source_3.6-4_all.deb 16-Feb-2010 08:05 84K
acl2-infix-source_4.0-3_all.deb 08-Sep-2010 22:05 85K
acl2-infix-source_4.1-5_all.deb 09-Nov-2010 02:04 78K
acl2-infix-source_4.2-1_all.deb 02-Sep-2011 03:03 80K
acl2-infix-source_4.3-3_all.deb 18-May-2012 14:33 86K
acl2-infix_3.1-1_i386.deb 07-Dec-2006 04:04 166K
acl2-infix_3.3-1ubuntu1_amd64.deb 17-Feb-2008 02:03 195K
acl2-infix_3.6-4_amd64.deb 16-Feb-2010 08:05 421K
acl2-infix_3.6-4_i386.deb 16-Feb-2010 08:05 379K
acl2-infix_4.0-3_amd64.deb 07-Sep-2010 05:05 421K
acl2-infix_4.0-3_i386.deb 08-Sep-2010 22:05 380K
acl2-infix_4.1-5_amd64.deb 09-Nov-2010 03:04 441K
acl2-infix_4.1-5_i386.deb 09-Nov-2010 02:04 403K
acl2-infix_4.2-1_amd64.deb 02-Sep-2011 04:04 438K
acl2-infix_4.2-1_i386.deb 02-Sep-2011 03:04 400K
acl2-infix_4.3-3_amd64.deb 18-May-2012 16:34 194K
acl2-infix_4.3-3_i386.deb 18-May-2012 14:33 173K
acl2-source_3.1-1_all.deb 07-Dec-2006 04:04 2M
acl2-source_3.6-4_all.deb 16-Feb-2010 08:05 3M
acl2-source_4.0-3_all.deb 08-Sep-2010 22:05 3M
acl2-source_4.1-5_all.deb 09-Nov-2010 02:04 3M
acl2-source_4.2-1_all.deb 02-Sep-2011 03:03 3M
acl2-source_4.3-3_all.deb 18-May-2012 14:33 3M
acl2_3.1-1_i386.deb 07-Dec-2006 04:04 15M
acl2_3.3-1ubuntu1.diff.gz 17-Feb-2008 00:03 13K
acl2_3.3-1ubuntu1.dsc 17-Feb-2008 00:03 1037
acl2_3.3-1ubuntu1_amd64.deb 17-Feb-2008 02:03 18M
acl2_3.3.orig.tar.gz 04-Dec-2007 12:05 7M
acl2_3.6-4.diff.gz 02-Feb-2010 00:06 15K
acl2_3.6-4.dsc 02-Feb-2010 00:06 1168
acl2_3.6-4_amd64.deb 16-Feb-2010 08:05 22M
acl2_3.6-4_i386.deb 16-Feb-2010 08:05 20M
acl2_3.6.orig.tar.gz 02-Feb-2010 00:06 10M
acl2_4.0-3.diff.gz 07-Sep-2010 00:05 16K
acl2_4.0-3.dsc 07-Sep-2010 00:05 1168
acl2_4.0-3_amd64.deb 07-Sep-2010 05:05 25M
acl2_4.0-3_i386.deb 08-Sep-2010 22:05 21M
acl2_4.0.orig.tar.gz 07-Sep-2010 00:05 11M
acl2_4.1-5.debian.tar.gz 07-Nov-2010 12:05 17K
acl2_4.1-5.dsc 07-Nov-2010 12:05 1194
acl2_4.1-5_amd64.deb 09-Nov-2010 03:04 25M
acl2_4.1-5_i386.deb 09-Nov-2010 02:04 21M
acl2_4.1.orig.tar.gz 15-Oct-2010 11:08 11M
acl2_4.2-1.debian.tar.gz 15-May-2011 13:04 17K
acl2_4.2-1.dsc 15-May-2011 13:04 1194
acl2_4.2-1_amd64.deb 02-Sep-2011 04:04 25M
acl2_4.2-1_i386.deb 02-Sep-2011 03:04 22M
acl2_4.2.orig.tar.gz 15-May-2011 13:04 11M
acl2_4.3-3.debian.tar.gz 06-May-2012 04:34 18K
acl2_4.3-3.dsc 06-May-2012 04:34 1491
acl2_4.3-3_amd64.deb 18-May-2012 16:34 27M
acl2_4.3-3_i386.deb 18-May-2012 14:33 23M
acl2_4.3.orig.tar.gz 30-Apr-2012 19:43 15M