Index of /ubuntu/7.04/pool/universe/a/acl2

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 acl2-books-certs_3.1-1_all.deb    2006-12-06 23:04  4.7M  
 acl2-books-source_3.1-1_all.deb   2006-12-06 23:04  2.1M  
 acl2-books_2.9.3-5build1_hppa.deb 2005-10-09 05:55  3.5M  
 acl2-books_3.1-1_amd64.deb        2006-12-07 13:04  2.0M  
 acl2-books_3.1-1_i386.deb         2006-12-06 23:04  1.5M  
 acl2-books_3.1-1_ia64.deb         2006-12-08 00:03  2.8M  
 acl2-books_3.1-1_powerpc.deb      2006-12-07 06:03  2.2M  
 acl2-books_3.1-1_sparc.deb        2006-12-08 07:03  1.8M  
 acl2-doc_3.1-1_all.deb            2006-12-06 23:04  1.9M  
 acl2-emacs_3.1-1_all.deb          2006-12-06 23:04   49K  
 acl2-infix-source_3.1-1_all.deb   2006-12-06 23:04   83K  
 acl2-infix_2.9.3-5build1_hppa.deb 2005-10-09 05:55  378K  
 acl2-infix_3.1-1_amd64.deb        2006-12-07 13:04  194K  
 acl2-infix_3.1-1_i386.deb         2006-12-06 23:04  166K  
 acl2-infix_3.1-1_ia64.deb         2006-12-08 00:03  297K  
 acl2-infix_3.1-1_powerpc.deb      2006-12-07 06:03  243K  
 acl2-infix_3.1-1_sparc.deb        2006-12-08 07:03  218K  
 acl2-source_3.1-1_all.deb         2006-12-06 23:04  2.2M  
 acl2_2.9.3-5build1_hppa.deb       2005-10-09 05:55   14M  
 acl2_3.1-1.diff.gz                2006-12-06 10:05   13K  
 acl2_3.1-1.dsc                    2006-12-06 10:05  822   
 acl2_3.1-1_amd64.deb              2006-12-07 13:04   18M  
 acl2_3.1-1_i386.deb               2006-12-06 23:04   15M  
 acl2_3.1-1_ia64.deb               2006-12-08 00:03   17M  
 acl2_3.1-1_powerpc.deb            2006-12-07 06:03   17M  
 acl2_3.1-1_sparc.deb              2006-12-08 07:03   17M  
 acl2_3.1.orig.tar.gz              2006-12-06 10:05  6.4M