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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 acl2-books-certs_3.1..> 05-Dec-2006 06:47  4.7M  
 acl2-books-certs_3.4..> 25-Aug-2008 19:32  1.2M  
 acl2-books-source_3...> 05-Dec-2006 06:47  2.1M  
 acl2-books-source_3...> 25-Aug-2008 19:32  2.8M  
 acl2-books_3.1-1_amd..> 05-Dec-2006 08:47  2.2M  
 acl2-books_3.1-1_i38..> 05-Dec-2006 06:47  1.5M  
 acl2-books_3.4-1_amd..> 26-Aug-2008 01:32   25M  
 acl2-books_3.4-1_i38..> 25-Aug-2008 19:32   21M  
 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..> 05-Dec-2006 06:47   49K  
 acl2-emacs_3.4-1_all..> 25-Aug-2008 19:32   54K  
 acl2-infix-source_3...> 05-Dec-2006 06:47   83K  
 acl2-infix-source_3...> 25-Aug-2008 19:32   85K  
 acl2-infix_3.1-1_amd..> 05-Dec-2006 08:47  194K  
 acl2-infix_3.1-1_i38..> 05-Dec-2006 06:47  168K  
 acl2-infix_3.4-1_amd..> 26-Aug-2008 01:32  432K  
 acl2-infix_3.4-1_i38..> 25-Aug-2008 19:32  390K  
 acl2-source_3.1-1_al..> 05-Dec-2006 06:47  2.2M  
 acl2-source_3.4-1_al..> 25-Aug-2008 19:32  2.5M  
 acl2_3.1-1_amd64.deb    05-Dec-2006 08:47   18M  
 acl2_3.1-1_i386.deb     05-Dec-2006 06:47   15M  
 acl2_3.4-1_amd64.deb    26-Aug-2008 01:32   21M  
 acl2_3.4-1_i386.deb     25-Aug-2008 19:32   18M