Index of /trisquel/pool/main/a/acl2

 Name                            Last modified      Size  
 Parent Directory                                     -   
 acl2-books-certs_6.3-5_all.deb  2013-10-24 16:36   11M  
 acl2-books-source_6.3-5_all.deb 2013-10-24 16:36  9.1M  
 acl2-books_6.3-5_amd64.deb      2013-10-24 16:36   40M  
 acl2-books_6.3-5_i386.deb       2013-10-24 16:36   36M  
 acl2-doc_6.3-5_all.deb          2013-10-24 16:36   12M  
 acl2-emacs_6.3-5_all.deb        2013-10-24 16:36   55K  
 acl2-infix-source_6.3-5_all.deb 2013-10-24 16:36   86K  
 acl2-infix_6.3-5_amd64.deb      2013-10-24 16:36  200K  
 acl2-infix_6.3-5_i386.deb       2013-10-24 16:36  189K  
 acl2-source_6.3-5_all.deb       2013-10-24 16:36  3.6M  
 acl2_3.4-2.diff.gz              2009-04-28 21:04   14K  
 acl2_3.4-2.dsc                  2009-04-28 21:04  1.2K  
 acl2_3.4.orig.tar.gz            2008-11-05 02:06  7.6M  
 acl2_3.6-4.diff.gz              2010-02-02 00:06   15K  
 acl2_3.6-4.dsc                  2010-02-02 00:06  1.1K  
 acl2_3.6.orig.tar.gz            2010-02-02 00:06   10M  
 acl2_4.0-3.diff.gz              2010-09-07 00:05   16K  
 acl2_4.0-3.dsc                  2010-09-07 00:05  1.1K  
 acl2_4.0.orig.tar.gz            2010-09-07 00:05   11M  
 acl2_4.1-5.debian.tar.gz        2010-11-07 12:05   17K  
 acl2_4.1-5.dsc                  2010-11-07 12:05  1.2K  
 acl2_4.1.orig.tar.gz            2010-10-15 11:08   11M  
 acl2_4.2-1.debian.tar.gz        2011-05-15 13:04   17K  
 acl2_4.2-1.dsc                  2011-05-15 13:04  1.2K  
 acl2_4.2.orig.tar.gz            2011-05-15 13:04   11M  
 acl2_6.3-5.debian.tar.gz        2013-10-21 13:09  158K  
 acl2_6.3-5.dsc                  2013-10-21 13:09  1.7K  
 acl2_6.3-5_amd64.deb            2013-10-24 16:36   27M  
 acl2_6.3-5_i386.deb             2013-10-24 16:36   23M  
 acl2_6.3.orig-books.tar.gz      2013-10-21 13:09   13M  
 acl2_6.3.orig.tar.gz            2013-10-21 13:09  6.7M