Index of /pool/main/a/acl2

[ICO]NameLast modifiedSize
[DIR]Parent Directory  -  
[ ]acl2-books-certs_3.1-1_all.deb04-Dec-2006 19:47 4.7M 
[ ]acl2-books-certs_3.4-2_all.deb23-Feb-2009 18:32 1.2M 
[ ]acl2-books-source_3.1-1_all.deb04-Dec-2006 19:47 2.1M 
[ ]acl2-books-source_3.4-2_all.deb23-Feb-2009 18:32 2.8M 
[ ]acl2-books_3.1-1_alpha.deb05-Dec-2006 10:32 2.7M 
[ ]acl2-books_3.1-1_amd64.deb04-Dec-2006 21:47 2.2M 
[ ]acl2-books_3.1-1_arm.deb18-Dec-2006 17:00 1.6M 
[ ]acl2-books_3.1-1_hppa.deb12-Dec-2006 05:02 7.4M 
[ ]acl2-books_3.1-1_i386.deb04-Dec-2006 19:47 1.5M 
[ ]acl2-books_3.1-1_ia64.deb05-Dec-2006 15:32 2.8M 
[ ]acl2-books_3.1-1_m68k.deb12-Feb-2007 07:02 1.6M 
[ ]acl2-books_3.1-1_mips.deb12-Dec-2006 07:02 2.0M 
[ ]acl2-books_3.1-1_mipsel.deb08-Jan-2007 09:32 1.9M 
[ ]acl2-books_3.1-1_powerpc.deb05-Dec-2006 10:32 2.2M 
[ ]acl2-books_3.1-1_s390.deb05-Dec-2006 15:02 1.7M 
[ ]acl2-books_3.1-1_sparc.deb31-Dec-2006 18:32 1.8M 
[ ]acl2-books_3.4-2_alpha.deb25-Feb-2009 15:17 27M 
[ ]acl2-books_3.4-2_amd64.deb24-Feb-2009 07:47 25M 
[ ]acl2-books_3.4-2_armel.deb26-Feb-2009 17:02 21M 
[ ]acl2-books_3.4-2_hppa.deb07-Jun-2009 18:32 32M 
[ ]acl2-books_3.4-2_i386.deb23-Feb-2009 18:32 20M 
[ ]acl2-books_3.4-2_ia64.deb19-Mar-2009 13:17 25M 
[ ]acl2-books_3.4-2_mips.deb24-Feb-2009 19:02 24M 
[ ]acl2-books_3.4-2_mipsel.deb02-Mar-2009 23:02 23M 
[ ]acl2-books_3.4-2_powerpc.deb25-Feb-2009 11:32 27M 
[ ]acl2-books_3.4-2_s390.deb24-Feb-2009 19:47 27M 
[ ]acl2-books_3.4-2_sparc.deb23-Mar-2009 07:32 22M 
[ ]acl2-doc_3.1-1_all.deb04-Dec-2006 19:47 1.9M 
[ ]acl2-doc_3.4-2_all.deb23-Feb-2009 18:32 2.3M 
[ ]acl2-emacs_3.1-1_all.deb04-Dec-2006 19:47 49K 
[ ]acl2-emacs_3.4-2_all.deb23-Feb-2009 18:32 55K 
[ ]acl2-infix-source_3.1-1_all.deb04-Dec-2006 19:47 83K 
[ ]acl2-infix-source_3.4-2_all.deb23-Feb-2009 18:32 87K 
[ ]acl2-infix_3.1-1_alpha.deb05-Dec-2006 10:32 251K 
[ ]acl2-infix_3.1-1_amd64.deb04-Dec-2006 21:47 194K 
[ ]acl2-infix_3.1-1_arm.deb18-Dec-2006 17:00 186K 
[ ]acl2-infix_3.1-1_hppa.deb12-Dec-2006 05:02 408K 
[ ]acl2-infix_3.1-1_i386.deb04-Dec-2006 19:47 168K 
[ ]acl2-infix_3.1-1_ia64.deb05-Dec-2006 15:32 297K 
[ ]acl2-infix_3.1-1_m68k.deb12-Feb-2007 07:02 191K 
[ ]acl2-infix_3.1-1_mips.deb12-Dec-2006 07:02 197K 
[ ]acl2-infix_3.1-1_mipsel.deb08-Jan-2007 09:32 192K 
[ ]acl2-infix_3.1-1_powerpc.deb05-Dec-2006 10:32 243K 
[ ]acl2-infix_3.1-1_s390.deb05-Dec-2006 15:02 162K 
[ ]acl2-infix_3.1-1_sparc.deb31-Dec-2006 18:32 218K 
[ ]acl2-infix_3.4-2_alpha.deb25-Feb-2009 15:17 485K 
[ ]acl2-infix_3.4-2_amd64.deb24-Feb-2009 07:47 430K 
[ ]acl2-infix_3.4-2_armel.deb26-Feb-2009 17:02 399K 
[ ]acl2-infix_3.4-2_hppa.deb07-Jun-2009 18:32 586K 
[ ]acl2-infix_3.4-2_i386.deb23-Feb-2009 18:32 390K 
[ ]acl2-infix_3.4-2_ia64.deb19-Mar-2009 13:17 542K 
[ ]acl2-infix_3.4-2_mips.deb24-Feb-2009 19:02 437K 
[ ]acl2-infix_3.4-2_mipsel.deb02-Mar-2009 23:02 409K 
[ ]acl2-infix_3.4-2_powerpc.deb25-Feb-2009 11:32 505K 
[ ]acl2-infix_3.4-2_s390.deb24-Feb-2009 19:47 452K 
[ ]acl2-infix_3.4-2_sparc.deb23-Mar-2009 07:32 424K 
[ ]acl2-source_3.1-1_all.deb04-Dec-2006 19:47 2.2M 
[ ]acl2-source_3.4-2_all.deb23-Feb-2009 18:32 2.5M 
[ ]acl2_3.1-1.diff.gz04-Dec-2006 19:47 13K 
[ ]acl2_3.1-1.dsc04-Dec-2006 19:47 822  
[ ]acl2_3.1-1_alpha.deb05-Dec-2006 10:32 16M 
[ ]acl2_3.1-1_amd64.deb04-Dec-2006 21:47 18M 
[ ]acl2_3.1-1_arm.deb18-Dec-2006 17:00 16M 
[ ]acl2_3.1-1_hppa.deb12-Dec-2006 05:02 15M 
[ ]acl2_3.1-1_i386.deb04-Dec-2006 19:47 15M 
[ ]acl2_3.1-1_ia64.deb05-Dec-2006 15:32 17M 
[ ]acl2_3.1-1_m68k.deb12-Feb-2007 07:02 15M 
[ ]acl2_3.1-1_mips.deb12-Dec-2006 07:02 15M 
[ ]acl2_3.1-1_mipsel.deb08-Jan-2007 09:32 14M 
[ ]acl2_3.1-1_powerpc.deb05-Dec-2006 10:32 17M 
[ ]acl2_3.1-1_s390.deb05-Dec-2006 15:02 16M 
[ ]acl2_3.1-1_sparc.deb31-Dec-2006 18:32 17M 
[ ]acl2_3.1.orig.tar.gz04-Dec-2006 19:47 6.4M 
[ ]acl2_3.4-2.diff.gz23-Feb-2009 18:32 14K 
[ ]acl2_3.4-2.dsc23-Feb-2009 18:32 1.2K 
[ ]acl2_3.4-2_alpha.deb25-Feb-2009 15:17 20M 
[ ]acl2_3.4-2_amd64.deb24-Feb-2009 07:47 21M 
[ ]acl2_3.4-2_armel.deb26-Feb-2009 17:02 19M 
[ ]acl2_3.4-2_hppa.deb07-Jun-2009 18:32 19M 
[ ]acl2_3.4-2_i386.deb23-Feb-2009 18:32 18M 
[ ]acl2_3.4-2_ia64.deb19-Mar-2009 13:17 21M 
[ ]acl2_3.4-2_mips.deb24-Feb-2009 19:02 19M 
[ ]acl2_3.4-2_mipsel.deb02-Mar-2009 23:02 18M 
[ ]acl2_3.4-2_powerpc.deb25-Feb-2009 11:32 20M 
[ ]acl2_3.4-2_s390.deb24-Feb-2009 19:47 20M 
[ ]acl2_3.4-2_sparc.deb23-Mar-2009 07:32 21M 
[ ]acl2_3.4.orig.tar.gz25-Aug-2008 09:32 7.6M 
Apache Server at ftp.debian.org Port 80