Index of /debian-archive/debian-amd64/pool/main/a/acl2

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 acl2-books-certs_2.9..> 11-Nov-2004 03:02  289K  
 acl2-books-source_2...> 11-Nov-2004 03:02  1.2M  
 acl2-books_2.9-2_amd..> 30-Apr-2005 11:19  1.0M  
 acl2-doc_2.9-2_all.deb  11-Nov-2004 03:02  1.7M  
 acl2-emacs_2.9-2_all..> 30-Apr-2005 11:19   48K  
 acl2-infix-source_2...> 11-Nov-2004 03:02   82K  
 acl2-infix_2.9-2_amd..> 30-Apr-2005 11:19  210K  
 acl2-source_2.9-2_al..> 11-Nov-2004 03:02  2.0M  
 acl2_2.9-2.diff.gz      11-Nov-2004 03:02   18K  
 acl2_2.9-2.dsc          30-Apr-2005 11:19  794   
 acl2_2.9-2_amd64.deb    30-Apr-2005 11:19   16M  
 acl2_2.9.orig.tar.gz    30-Apr-2005 11:19  5.0M