Index of /ubuntu/pool/universe/a/acl2

[ICO]NameLast modifiedSize
[DIR]Parent Directory  -  
[ ]acl2-books-certs_2.9.3-7_all.deb28-Oct-2005 00:20 367K 
[ ]acl2-books-certs_3.1-1_all.deb07-Dec-2006 04:04 4.7M 
[ ]acl2-books-certs_3.3-1.1_all.deb11-May-2008 22:04 1.2M 
[ ]acl2-books-certs_3.4-1_all.deb05-Nov-2008 10:04 1.2M 
[ ]acl2-books-certs_3.4-2_all.deb29-Apr-2009 00:05 1.2M 
[ ]acl2-books-certs_3.6-4_all.deb16-Feb-2010 08:05 1.9M 
[ ]acl2-books-source_2.9.3-7_all.deb28-Oct-2005 00:20 1.2M 
[ ]acl2-books-source_3.1-1_all.deb07-Dec-2006 04:04 2.1M 
[ ]acl2-books-source_3.3-1.1_all.deb11-May-2008 22:04 2.3M 
[ ]acl2-books-source_3.4-1_all.deb05-Nov-2008 10:04 2.7M 
[ ]acl2-books-source_3.4-2_all.deb29-Apr-2009 00:05 2.7M 
[ ]acl2-books-source_3.6-4_all.deb16-Feb-2010 08:05 4.7M 
[ ]acl2-books_2.9.3-7_amd64.deb29-Oct-2005 03:45 1.1M 
[ ]acl2-books_2.9.3-7_i386.deb28-Oct-2005 00:20 813K 
[ ]acl2-books_2.9.3-7_powerpc.deb21-Dec-2005 08:55 1.2M 
[ ]acl2-books_2.9.3-7_sparc.deb09-Nov-2005 13:50 1.0M 
[ ]acl2-books_3.1-1_i386.deb07-Dec-2006 04:04 1.5M 
[ ]acl2-books_3.3-1.1_amd64.deb11-May-2008 07:04 21M 
[ ]acl2-books_3.3-1.1_i386.deb11-May-2008 22:04 18M 
[ ]acl2-books_3.3-1ubuntu1_amd64.deb17-Feb-2008 02:03 6.1M 
[ ]acl2-books_3.4-1_amd64.deb06-Nov-2008 00:10 24M 
[ ]acl2-books_3.4-1_i386.deb05-Nov-2008 10:05 20M 
[ ]acl2-books_3.4-2_amd64.deb29-Apr-2009 02:04 23M 
[ ]acl2-books_3.4-2_i386.deb29-Apr-2009 00:06 20M 
[ ]acl2-books_3.6-4_amd64.deb16-Feb-2010 08:05 33M 
[ ]acl2-books_3.6-4_i386.deb16-Feb-2010 08:05 29M 
[ ]acl2-doc_2.9.3-7_all.deb28-Oct-2005 00:20 1.8M 
[ ]acl2-doc_3.1-1_all.deb07-Dec-2006 04:04 1.9M 
[ ]acl2-doc_3.3-1.1_all.deb11-May-2008 22:04 2.1M 
[ ]acl2-doc_3.4-1_all.deb05-Nov-2008 10:04 2.2M 
[ ]acl2-doc_3.4-2_all.deb29-Apr-2009 00:05 2.2M 
[ ]acl2-doc_3.6-4_all.deb16-Feb-2010 08:05 2.3M 
[ ]acl2-emacs_2.9.3-7_all.deb28-Oct-2005 00:20 48K 
[ ]acl2-emacs_3.1-1_all.deb07-Dec-2006 04:04 49K 
[ ]acl2-emacs_3.3-1.1_all.deb11-May-2008 22:04 53K 
[ ]acl2-emacs_3.4-1_all.deb05-Nov-2008 10:04 54K 
[ ]acl2-emacs_3.4-2_all.deb29-Apr-2009 00:05 54K 
[ ]acl2-emacs_3.6-4_all.deb16-Feb-2010 08:05 56K 
[ ]acl2-infix-source_2.9.3-7_all.deb28-Oct-2005 00:20 83K 
[ ]acl2-infix-source_3.1-1_all.deb07-Dec-2006 04:04 83K 
[ ]acl2-infix-source_3.3-1.1_all.deb11-May-2008 22:04 84K 
[ ]acl2-infix-source_3.4-1_all.deb05-Nov-2008 10:04 84K 
[ ]acl2-infix-source_3.4-2_all.deb29-Apr-2009 00:05 84K 
[ ]acl2-infix-source_3.6-4_all.deb16-Feb-2010 08:05 84K 
[ ]acl2-infix_2.9.3-7_amd64.deb29-Oct-2005 03:45 198K 
[ ]acl2-infix_2.9.3-7_i386.deb28-Oct-2005 00:20 165K 
[ ]acl2-infix_2.9.3-7_powerpc.deb21-Dec-2005 08:55 240K 
[ ]acl2-infix_2.9.3-7_sparc.deb09-Nov-2005 13:50 217K 
[ ]acl2-infix_3.1-1_i386.deb07-Dec-2006 04:04 166K 
[ ]acl2-infix_3.3-1.1_amd64.deb11-May-2008 07:04 432K 
[ ]acl2-infix_3.3-1.1_i386.deb11-May-2008 22:04 388K 
[ ]acl2-infix_3.3-1ubuntu1_amd64.deb17-Feb-2008 02:03 195K 
[ ]acl2-infix_3.4-1_amd64.deb06-Nov-2008 00:10 432K 
[ ]acl2-infix_3.4-1_i386.deb05-Nov-2008 10:05 389K 
[ ]acl2-infix_3.4-2_amd64.deb29-Apr-2009 02:04 408K 
[ ]acl2-infix_3.4-2_i386.deb29-Apr-2009 00:05 375K 
[ ]acl2-infix_3.6-4_amd64.deb16-Feb-2010 08:05 421K 
[ ]acl2-infix_3.6-4_i386.deb16-Feb-2010 08:05 379K 
[ ]acl2-source_2.9.3-7_all.deb28-Oct-2005 00:20 2.0M 
[ ]acl2-source_3.1-1_all.deb07-Dec-2006 04:04 2.2M 
[ ]acl2-source_3.3-1.1_all.deb11-May-2008 22:04 2.4M 
[ ]acl2-source_3.4-1_all.deb05-Nov-2008 10:04 2.5M 
[ ]acl2-source_3.4-2_all.deb29-Apr-2009 00:05 2.5M 
[ ]acl2-source_3.6-4_all.deb16-Feb-2010 08:05 2.6M 
[ ]acl2_2.9.3-7.diff.gz25-Oct-2005 03:40 20K 
[ ]acl2_2.9.3-7.dsc25-Oct-2005 03:40 805  
[ ]acl2_2.9.3-7_amd64.deb29-Oct-2005 03:45 16M 
[ ]acl2_2.9.3-7_i386.deb28-Oct-2005 00:20 13M 
[ ]acl2_2.9.3-7_powerpc.deb21-Dec-2005 08:55 15M 
[ ]acl2_2.9.3-7_sparc.deb09-Nov-2005 13:50 17M 
[ ]acl2_2.9.3.orig.tar.gz08-Oct-2005 15:55 5.2M 
[ ]acl2_3.1-1_i386.deb07-Dec-2006 04:04 15M 
[ ]acl2_3.3-1.1.diff.gz09-May-2008 14:06 13K 
[ ]acl2_3.3-1.1.dsc09-May-2008 14:06 821  
[ ]acl2_3.3-1.1_amd64.deb11-May-2008 07:04 18M 
[ ]acl2_3.3-1.1_i386.deb11-May-2008 22:04 16M 
[ ]acl2_3.3-1ubuntu1.diff.gz17-Feb-2008 00:03 13K 
[ ]acl2_3.3-1ubuntu1.dsc17-Feb-2008 00:03 1.0K 
[ ]acl2_3.3-1ubuntu1_amd64.deb17-Feb-2008 02:03 18M 
[ ]acl2_3.3.orig.tar.gz04-Dec-2007 12:05 7.0M 
[ ]acl2_3.4-1.diff.gz05-Nov-2008 02:06 13K 
[ ]acl2_3.4-1.dsc05-Nov-2008 02:06 1.1K 
[ ]acl2_3.4-1_amd64.deb06-Nov-2008 00:10 21M 
[ ]acl2_3.4-1_i386.deb05-Nov-2008 10:05 18M 
[ ]acl2_3.4-2.diff.gz28-Apr-2009 22:04 14K 
[ ]acl2_3.4-2.dsc28-Apr-2009 22:04 1.2K 
[ ]acl2_3.4-2_amd64.deb29-Apr-2009 02:04 21M 
[ ]acl2_3.4-2_i386.deb29-Apr-2009 00:06 18M 
[ ]acl2_3.4.orig.tar.gz05-Nov-2008 02:06 7.6M 
[ ]acl2_3.6-4.diff.gz02-Feb-2010 00:06 15K 
[ ]acl2_3.6-4.dsc02-Feb-2010 00:06 1.1K 
[ ]acl2_3.6-4_amd64.deb16-Feb-2010 08:05 22M 
[ ]acl2_3.6-4_i386.deb16-Feb-2010 08:05 20M 
[ ]acl2_3.6.orig.tar.gz02-Feb-2010 00:06 10M 
Apache/2.2.8 (Ubuntu) Server at security.ubuntu.com Port 80