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

Icon  Name                              Last modified      Size  Description
[DIR] Parent Directory                                       -   
[   ] acl2-books-certs_2.9-2_all.deb    11-Nov-2004 04:02  289K  
[   ] acl2-books-certs_3.1-1_all.deb    04-Dec-2006 20:47  4.7M  
[   ] acl2-books-certs_3.3-1.1_all.deb  06-Apr-2008 09:32  1.2M  
[   ] acl2-books-source_2.9-2_all.deb   11-Nov-2004 04:02  1.2M  
[   ] acl2-books-source_3.1-1_all.deb   04-Dec-2006 20:47  2.1M  
[   ] acl2-books-source_3.3-1.1_all.deb 06-Apr-2008 09:32  2.4M  
[   ] acl2-books_2.9-2_i386.deb         11-Nov-2004 04:02  814K  
[   ] acl2-books_2.9-2_sparc.deb        28-Nov-2004 17:32  972K  
[   ] acl2-books_3.1-1_amd64.deb        04-Dec-2006 22:47  2.2M  
[   ] acl2-books_3.1-1_i386.deb         04-Dec-2006 20:47  1.5M  
[   ] acl2-books_3.1-1_sparc.deb        31-Dec-2006 19:32  1.8M  
[   ] acl2-books_3.3-1.1_amd64.deb      06-Apr-2008 12:32  6.3M  
[   ] acl2-books_3.3-1.1_armel.deb      24-Apr-2008 20:47  5.2M  
[   ] acl2-books_3.3-1.1_i386.deb       06-Apr-2008 09:32  4.7M  
[   ] acl2-books_3.3-1.1_sparc.deb      06-Apr-2008 19:32  5.7M  
[   ] acl2-doc_2.9-2_all.deb            11-Nov-2004 04:02  1.7M  
[   ] acl2-doc_3.1-1_all.deb            04-Dec-2006 20:47  1.9M  
[   ] acl2-doc_3.3-1.1_all.deb          06-Apr-2008 09:32  2.2M  
[   ] acl2-emacs_2.9-2_all.deb          11-Nov-2004 04:02   48K  
[   ] acl2-emacs_3.1-1_all.deb          04-Dec-2006 20:47   49K  
[   ] acl2-emacs_3.3-1.1_all.deb        06-Apr-2008 09:32   55K  
[   ] acl2-infix-source_2.9-2_all.deb   11-Nov-2004 04:02   82K  
[   ] acl2-infix-source_3.1-1_all.deb   04-Dec-2006 20:47   83K  
[   ] acl2-infix-source_3.3-1.1_all.deb 06-Apr-2008 09:32   85K  
[   ] acl2-infix_2.9-2_i386.deb         11-Nov-2004 04:02  177K  
[   ] acl2-infix_2.9-2_sparc.deb        28-Nov-2004 17:32  249K  
[   ] acl2-infix_3.1-1_amd64.deb        04-Dec-2006 22:47  194K  
[   ] acl2-infix_3.1-1_i386.deb         04-Dec-2006 20:47  168K  
[   ] acl2-infix_3.1-1_sparc.deb        31-Dec-2006 19:32  218K  
[   ] acl2-infix_3.3-1.1_amd64.deb      06-Apr-2008 12:32  194K  
[   ] acl2-infix_3.3-1.1_armel.deb      24-Apr-2008 20:47  179K  
[   ] acl2-infix_3.3-1.1_i386.deb       06-Apr-2008 09:32  167K  
[   ] acl2-infix_3.3-1.1_sparc.deb      06-Apr-2008 19:32  211K  
[   ] acl2-source_2.9-2_all.deb         11-Nov-2004 04:02  2.0M  
[   ] acl2-source_3.1-1_all.deb         04-Dec-2006 20:47  2.2M  
[   ] acl2-source_3.3-1.1_all.deb       06-Apr-2008 09:32  2.4M  
[   ] acl2_2.9-2.diff.gz                11-Nov-2004 04:02   18K  
[   ] acl2_2.9-2.dsc                    11-Nov-2004 04:02  794   
[   ] acl2_2.9-2_i386.deb               11-Nov-2004 04:02   13M  
[   ] acl2_2.9-2_sparc.deb              28-Nov-2004 17:32   21M  
[   ] acl2_2.9.orig.tar.gz              28-Oct-2004 22:02  5.0M  
[   ] acl2_3.1-1.diff.gz                04-Dec-2006 20:47   13K  
[   ] acl2_3.1-1.dsc                    04-Dec-2006 20:47  822   
[   ] acl2_3.1-1_amd64.deb              04-Dec-2006 22:47   18M  
[   ] acl2_3.1-1_i386.deb               04-Dec-2006 20:47   15M  
[   ] acl2_3.1-1_sparc.deb              31-Dec-2006 19:32   17M  
[   ] acl2_3.1.orig.tar.gz              04-Dec-2006 20:47  6.4M  
[   ] acl2_3.3-1.1.diff.gz              06-Apr-2008 09:32   13K  
[   ] acl2_3.3-1.1.dsc                  06-Apr-2008 09:32  821   
[   ] acl2_3.3-1.1_amd64.deb            06-Apr-2008 12:32   18M  
[   ] acl2_3.3-1.1_armel.deb            24-Apr-2008 20:47   17M  
[   ] acl2_3.3-1.1_i386.deb             06-Apr-2008 09:32   16M  
[   ] acl2_3.3-1.1_sparc.deb            06-Apr-2008 19:32   18M  
[   ] acl2_3.3-1.diff.gz                03-Dec-2007 18:32   13K  
[   ] acl2_3.3-1.dsc                    03-Dec-2007 18:32  811   
[   ] acl2_3.3.orig.tar.gz              03-Dec-2007 18:32  7.0M