Index of /debian/pool/main/a/acl2

 Name                            Last modified      Size  
 Parent Directory                                     -   
 acl2-books-certs_3.1-1_all.deb  05-Dec-2006 06:47  4.7M  
 acl2-books-certs_3.4-1_all.deb  25-Aug-2008 19:32  1.2M  
 acl2-books-source_3.1-1_all.deb 05-Dec-2006 06:47  2.1M  
 acl2-books-source_3.4-1_all.deb 25-Aug-2008 19:32  2.8M  
 acl2-books_3.1-1_alpha.deb      05-Dec-2006 21:32  2.7M  
 acl2-books_3.1-1_amd64.deb      05-Dec-2006 08:47  2.2M  
 acl2-books_3.1-1_arm.deb        19-Dec-2006 04:00  1.6M  
 acl2-books_3.1-1_hppa.deb       12-Dec-2006 16:02  7.4M  
 acl2-books_3.1-1_i386.deb       05-Dec-2006 06:47  1.5M  
 acl2-books_3.1-1_ia64.deb       06-Dec-2006 02:32  2.8M  
 acl2-books_3.1-1_m68k.deb       12-Feb-2007 18:02  1.6M  
 acl2-books_3.1-1_mips.deb       12-Dec-2006 18:02  2.0M  
 acl2-books_3.1-1_mipsel.deb     08-Jan-2007 20:32  1.9M  
 acl2-books_3.1-1_powerpc.deb    05-Dec-2006 21:32  2.2M  
 acl2-books_3.1-1_s390.deb       06-Dec-2006 02:02  1.7M  
 acl2-books_3.1-1_sparc.deb      01-Jan-2007 05:32  1.8M  
 acl2-books_3.3-1.1_sparc.deb    07-Apr-2008 03:32  5.7M  
 acl2-books_3.3-1_ia64.deb       11-Feb-2008 17:17  8.6M  
 acl2-books_3.4-1_alpha.deb      26-Aug-2008 05:17   27M  
 acl2-books_3.4-1_amd64.deb      26-Aug-2008 01:32   25M  
 acl2-books_3.4-1_arm.deb        29-Aug-2008 07:32   20M  
 acl2-books_3.4-1_armel.deb      28-Aug-2008 04:17   21M  
 acl2-books_3.4-1_i386.deb       25-Aug-2008 19:32   21M  
 acl2-books_3.4-1_mips.deb       26-Aug-2008 11:02   24M  
 acl2-books_3.4-1_mipsel.deb     26-Aug-2008 08:47   23M  
 acl2-books_3.4-1_powerpc.deb    26-Aug-2008 05:47   27M  
 acl2-books_3.4-1_s390.deb       27-Aug-2008 19:17   27M  
 acl2-doc_3.1-1_all.deb          05-Dec-2006 06:47  1.9M  
 acl2-doc_3.4-1_all.deb          25-Aug-2008 19:32  2.3M  
 acl2-emacs_3.1-1_all.deb        05-Dec-2006 06:47   49K  
 acl2-emacs_3.4-1_all.deb        25-Aug-2008 19:32   54K  
 acl2-infix-source_3.1-1_all.deb 05-Dec-2006 06:47   83K  
 acl2-infix-source_3.4-1_all.deb 25-Aug-2008 19:32   85K  
 acl2-infix_3.1-1_alpha.deb      05-Dec-2006 21:32  251K  
 acl2-infix_3.1-1_amd64.deb      05-Dec-2006 08:47  194K  
 acl2-infix_3.1-1_arm.deb        19-Dec-2006 04:00  186K  
 acl2-infix_3.1-1_hppa.deb       12-Dec-2006 16:02  408K  
 acl2-infix_3.1-1_i386.deb       05-Dec-2006 06:47  168K  
 acl2-infix_3.1-1_ia64.deb       06-Dec-2006 02:32  297K  
 acl2-infix_3.1-1_m68k.deb       12-Feb-2007 18:02  191K  
 acl2-infix_3.1-1_mips.deb       12-Dec-2006 18:02  197K  
 acl2-infix_3.1-1_mipsel.deb     08-Jan-2007 20:32  192K  
 acl2-infix_3.1-1_powerpc.deb    05-Dec-2006 21:32  243K  
 acl2-infix_3.1-1_s390.deb       06-Dec-2006 02:02  162K  
 acl2-infix_3.1-1_sparc.deb      01-Jan-2007 05:32  218K  
 acl2-infix_3.3-1.1_sparc.deb    07-Apr-2008 03:32  211K  
 acl2-infix_3.3-1_ia64.deb       11-Feb-2008 17:17  295K  
 acl2-infix_3.4-1_alpha.deb      26-Aug-2008 05:17  485K  
 acl2-infix_3.4-1_amd64.deb      26-Aug-2008 01:32  432K  
 acl2-infix_3.4-1_arm.deb        29-Aug-2008 07:32  379K  
 acl2-infix_3.4-1_armel.deb      28-Aug-2008 04:17  388K  
 acl2-infix_3.4-1_i386.deb       25-Aug-2008 19:32  390K  
 acl2-infix_3.4-1_mips.deb       26-Aug-2008 11:02  438K  
 acl2-infix_3.4-1_mipsel.deb     26-Aug-2008 08:47  409K  
 acl2-infix_3.4-1_powerpc.deb    26-Aug-2008 05:47  504K  
 acl2-infix_3.4-1_s390.deb       27-Aug-2008 19:17  451K  
 acl2-source_3.1-1_all.deb       05-Dec-2006 06:47  2.2M  
 acl2-source_3.4-1_all.deb       25-Aug-2008 19:32  2.5M  
 acl2_3.1-1.diff.gz              05-Dec-2006 06:47   13K  
 acl2_3.1-1.dsc                  05-Dec-2006 06:47  822   
 acl2_3.1-1_alpha.deb            05-Dec-2006 21:32   16M  
 acl2_3.1-1_amd64.deb            05-Dec-2006 08:47   18M  
 acl2_3.1-1_arm.deb              19-Dec-2006 04:00   16M  
 acl2_3.1-1_hppa.deb             12-Dec-2006 16:02   15M  
 acl2_3.1-1_i386.deb             05-Dec-2006 06:47   15M  
 acl2_3.1-1_ia64.deb             06-Dec-2006 02:32   17M  
 acl2_3.1-1_m68k.deb             12-Feb-2007 18:02   15M  
 acl2_3.1-1_mips.deb             12-Dec-2006 18:02   15M  
 acl2_3.1-1_mipsel.deb           08-Jan-2007 20:32   14M  
 acl2_3.1-1_powerpc.deb          05-Dec-2006 21:32   17M  
 acl2_3.1-1_s390.deb             06-Dec-2006 02:02   16M  
 acl2_3.1-1_sparc.deb            01-Jan-2007 05:32   17M  
 acl2_3.1.orig.tar.gz            05-Dec-2006 06:47  6.4M  
 acl2_3.3-1.1.diff.gz            06-Apr-2008 17:32   13K  
 acl2_3.3-1.1.dsc                06-Apr-2008 17:32  821   
 acl2_3.3-1.1_sparc.deb          07-Apr-2008 03:32   18M  
 acl2_3.3-1.diff.gz              04-Dec-2007 04:32   13K  
 acl2_3.3-1.dsc                  04-Dec-2007 04:32  811   
 acl2_3.3-1_ia64.deb             11-Feb-2008 17:17   18M  
 acl2_3.3.orig.tar.gz            04-Dec-2007 04:32  7.0M  
 acl2_3.4-1.diff.gz              25-Aug-2008 19:32   13K  
 acl2_3.4-1.dsc                  25-Aug-2008 19:32  1.1K  
 acl2_3.4-1_alpha.deb            26-Aug-2008 05:17   20M  
 acl2_3.4-1_amd64.deb            26-Aug-2008 01:32   21M  
 acl2_3.4-1_arm.deb              29-Aug-2008 07:32   19M  
 acl2_3.4-1_armel.deb            28-Aug-2008 04:17   19M  
 acl2_3.4-1_i386.deb             25-Aug-2008 19:32   18M  
 acl2_3.4-1_mips.deb             26-Aug-2008 11:02   19M  
 acl2_3.4-1_mipsel.deb           26-Aug-2008 08:47   18M  
 acl2_3.4-1_powerpc.deb          26-Aug-2008 05:47   20M  
 acl2_3.4-1_s390.deb             27-Aug-2008 19:17   20M  
 acl2_3.4.orig.tar.gz            25-Aug-2008 19:32  7.6M