Index of /pool/universe/a/acl2

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -
[ ]acl2-books-certs_3.1-1_all.deb06-Dec-2006 23:04 4.7M
[ ]acl2-books-certs_3.6-4_all.deb16-Feb-2010 03:05 1.9M
[ ]acl2-books-certs_4.0-3_all.deb08-Sep-2010 18:05 1.9M
[ ]acl2-books-certs_4.1-5_all.deb08-Nov-2010 21:04 1.9M
[ ]acl2-books-certs_4.2-1_all.deb01-Sep-2011 23:03 1.9M
[ ]acl2-books-certs_4.3-3_all.deb18-May-2012 10:33 4.2M
[ ]acl2-books-source_3.1-1_all.deb06-Dec-2006 23:04 2.1M
[ ]acl2-books-source_3.6-4_all.deb16-Feb-2010 03:05 4.7M
[ ]acl2-books-source_4.0-3_all.deb08-Sep-2010 18:05 4.8M
[ ]acl2-books-source_4.1-5_all.deb08-Nov-2010 21:04 4.9M
[ ]acl2-books-source_4.2-1_all.deb01-Sep-2011 23:03 4.9M
[ ]acl2-books-source_4.3-3_all.deb18-May-2012 10:33 6.2M
[ ]acl2-books_3.1-1_i386.deb06-Dec-2006 23:04 1.5M
[ ]acl2-books_3.3-1ubuntu1_amd64.deb16-Feb-2008 21:03 6.1M
[ ]acl2-books_3.6-4_amd64.deb16-Feb-2010 03:05 33M
[ ]acl2-books_3.6-4_i386.deb16-Feb-2010 03:05 29M
[ ]acl2-books_4.0-3_amd64.deb07-Sep-2010 01:05 37M
[ ]acl2-books_4.0-3_i386.deb08-Sep-2010 18:05 32M
[ ]acl2-books_4.1-5_amd64.deb08-Nov-2010 22:04 39M
[ ]acl2-books_4.1-5_i386.deb08-Nov-2010 21:04 34M
[ ]acl2-books_4.2-1_amd64.deb02-Sep-2011 00:04 39M
[ ]acl2-books_4.2-1_i386.deb01-Sep-2011 23:04 34M
[ ]acl2-books_4.3-3_amd64.deb18-May-2012 12:34 15M
[ ]acl2-books_4.3-3_i386.deb18-May-2012 10:33 13M
[ ]acl2-doc_3.1-1_all.deb06-Dec-2006 23:04 1.9M
[ ]acl2-doc_3.6-4_all.deb16-Feb-2010 03:05 2.3M
[ ]acl2-doc_4.0-3_all.deb08-Sep-2010 18:05 2.6M
[ ]acl2-doc_4.1-5_all.deb08-Nov-2010 21:04 2.6M
[ ]acl2-doc_4.2-1_all.deb01-Sep-2011 23:03 264K
[ ]acl2-doc_4.3-3_all.deb18-May-2012 10:33 348K
[ ]acl2-emacs_3.1-1_all.deb06-Dec-2006 23:04 49K
[ ]acl2-emacs_3.6-4_all.deb16-Feb-2010 03:05 56K
[ ]acl2-emacs_4.0-3_all.deb08-Sep-2010 18:05 56K
[ ]acl2-emacs_4.1-5_all.deb08-Nov-2010 21:04 50K
[ ]acl2-emacs_4.2-1_all.deb01-Sep-2011 23:03 52K
[ ]acl2-emacs_4.3-3_all.deb18-May-2012 10:33 53K
[ ]acl2-infix-source_3.1-1_all.deb06-Dec-2006 23:04 83K
[ ]acl2-infix-source_3.6-4_all.deb16-Feb-2010 03:05 84K
[ ]acl2-infix-source_4.0-3_all.deb08-Sep-2010 18:05 85K
[ ]acl2-infix-source_4.1-5_all.deb08-Nov-2010 21:04 78K
[ ]acl2-infix-source_4.2-1_all.deb01-Sep-2011 23:03 80K
[ ]acl2-infix-source_4.3-3_all.deb18-May-2012 10:33 86K
[ ]acl2-infix_3.1-1_i386.deb06-Dec-2006 23:04 166K
[ ]acl2-infix_3.3-1ubuntu1_amd64.deb16-Feb-2008 21:03 195K
[ ]acl2-infix_3.6-4_amd64.deb16-Feb-2010 03:05 421K
[ ]acl2-infix_3.6-4_i386.deb16-Feb-2010 03:05 379K
[ ]acl2-infix_4.0-3_amd64.deb07-Sep-2010 01:05 421K
[ ]acl2-infix_4.0-3_i386.deb08-Sep-2010 18:05 380K
[ ]acl2-infix_4.1-5_amd64.deb08-Nov-2010 22:04 441K
[ ]acl2-infix_4.1-5_i386.deb08-Nov-2010 21:04 403K
[ ]acl2-infix_4.2-1_amd64.deb02-Sep-2011 00:04 438K
[ ]acl2-infix_4.2-1_i386.deb01-Sep-2011 23:04 400K
[ ]acl2-infix_4.3-3_amd64.deb18-May-2012 12:34 194K
[ ]acl2-infix_4.3-3_i386.deb18-May-2012 10:33 173K
[ ]acl2-source_3.1-1_all.deb06-Dec-2006 23:04 2.2M
[ ]acl2-source_3.6-4_all.deb16-Feb-2010 03:05 2.6M
[ ]acl2-source_4.0-3_all.deb08-Sep-2010 18:05 2.9M
[ ]acl2-source_4.1-5_all.deb08-Nov-2010 21:04 2.9M
[ ]acl2-source_4.2-1_all.deb01-Sep-2011 23:03 3.0M
[ ]acl2-source_4.3-3_all.deb18-May-2012 10:33 3.1M
[ ]acl2_3.1-1_i386.deb06-Dec-2006 23:04 15M
[ ]acl2_3.3-1ubuntu1.diff.gz16-Feb-2008 19:03 13K
[ ]acl2_3.3-1ubuntu1.dsc16-Feb-2008 19:03 1.0K
[ ]acl2_3.3-1ubuntu1_amd64.deb16-Feb-2008 21:03 18M
[ ]acl2_3.3.orig.tar.gz04-Dec-2007 07:05 7.0M
[ ]acl2_3.6-4.diff.gz01-Feb-2010 19:06 15K
[ ]acl2_3.6-4.dsc01-Feb-2010 19:06 1.1K
[ ]acl2_3.6-4_amd64.deb16-Feb-2010 03:05 22M
[ ]acl2_3.6-4_i386.deb16-Feb-2010 03:05 20M
[ ]acl2_3.6.orig.tar.gz01-Feb-2010 19:06 10M
[ ]acl2_4.0-3.diff.gz06-Sep-2010 20:05 16K
[ ]acl2_4.0-3.dsc06-Sep-2010 20:05 1.1K
[ ]acl2_4.0-3_amd64.deb07-Sep-2010 01:05 25M
[ ]acl2_4.0-3_i386.deb08-Sep-2010 18:05 21M
[ ]acl2_4.0.orig.tar.gz06-Sep-2010 20:05 11M
[ ]acl2_4.1-5.debian.tar.gz07-Nov-2010 07:05 17K
[ ]acl2_4.1-5.dsc07-Nov-2010 07:05 1.2K
[ ]acl2_4.1-5_amd64.deb08-Nov-2010 22:04 25M
[ ]acl2_4.1-5_i386.deb08-Nov-2010 21:04 21M
[ ]acl2_4.1.orig.tar.gz15-Oct-2010 07:08 11M
[ ]acl2_4.2-1.debian.tar.gz15-May-2011 09:04 17K
[ ]acl2_4.2-1.dsc15-May-2011 09:04 1.2K
[ ]acl2_4.2-1_amd64.deb02-Sep-2011 00:04 25M
[ ]acl2_4.2-1_i386.deb01-Sep-2011 23:04 22M
[ ]acl2_4.2.orig.tar.gz15-May-2011 09:04 11M
[ ]acl2_4.3-3.debian.tar.gz06-May-2012 00:34 18K
[ ]acl2_4.3-3.dsc06-May-2012 00:34 1.5K
[ ]acl2_4.3-3_amd64.deb18-May-2012 12:34 27M
[ ]acl2_4.3-3_i386.deb18-May-2012 10:33 23M
[ ]acl2_4.3.orig.tar.gz30-Apr-2012 15:43 15M
Apache/2.2.12 (Ubuntu) Server at ubuntu.secs.oakland.edu Port 80