Name                            Last modified      Size  Description
 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_amd64.deb      05-Dec-2006 08:47  2.2M  
 acl2-books_3.1-1_i386.deb       05-Dec-2006 06:47  1.5M  
 acl2-books_3.4-1_amd64.deb      26-Aug-2008 01:32   25M  
 acl2-books_3.4-1_i386.deb       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.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_amd64.deb      05-Dec-2006 08:47  194K  
 acl2-infix_3.1-1_i386.deb       05-Dec-2006 06:47  168K  
 acl2-infix_3.4-1_amd64.deb      26-Aug-2008 01:32  432K  
 acl2-infix_3.4-1_i386.deb       25-Aug-2008 19:32  390K  
 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_amd64.deb            05-Dec-2006 08:47   18M  
 acl2_3.1-1_i386.deb             05-Dec-2006 06:47   15M  
 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.diff.gz              04-Dec-2007 04:32   13K  
 acl2_3.3-1.dsc                  04-Dec-2007 04:32  811   
 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_amd64.deb            26-Aug-2008 01:32   21M  
 acl2_3.4-1_i386.deb             25-Aug-2008 19:32   18M  
 acl2_3.4.orig.tar.gz            25-Aug-2008 19:32  7.6M