Index of /trisquel/pool/extras/a/acl2

Icon  Name                      Last modified      Size  
[PARENTDIR] Parent Directory                               -   
[   ] acl2_3.3.orig.tar.gz      2007-12-04 12:05  7.0M  
[   ] acl2_3.3-1ubuntu1.diff.gz 2008-02-17 00:03   13K  
[TXT] acl2_3.3-1ubuntu1.dsc     2008-02-17 00:03  1.0K  
[   ] acl2_3.4-1.diff.gz        2008-11-05 02:06   13K  
[TXT] acl2_3.4-1.dsc            2008-11-05 02:06  1.1K  
[   ] acl2_3.4.orig.tar.gz      2008-11-05 02:06  7.6M