Index of /trisquel/pool/main/m/matita

 Name                               Last modified      Size  
 Parent Directory                                        -   
 matita_0.5.7-2ubuntu2.diff.gz      2009-09-01 09:05  5.5K  
 matita_0.5.7-2ubuntu2.dsc          2009-09-01 09:05  1.9K  
 matita_0.5.7.orig.tar.gz           2009-04-29 13:06  3.5M  
 matita_0.5.8-2build2.diff.gz       2010-04-16 17:05  5.2K  
 matita_0.5.8-2build2.dsc           2010-04-16 17:05  1.7K  
 matita_0.5.8-3.debian.tar.gz       2011-06-04 20:04  6.4K  
 matita_0.5.8-3.dsc                 2011-06-04 20:04  1.9K  
 matita_0.5.8-3build1.debian.tar.gz 2011-11-29 09:04  6.5K  
 matita_0.5.8-3build1.dsc           2011-11-29 09:04  2.0K  
 matita_0.5.8.orig.tar.gz           2010-03-22 20:05  5.6M  
 matita_0.99.1-3.debian.tar.gz      2013-12-11 17:28  4.7K  
 matita_0.99.1-3.dsc                2013-12-11 17:28  1.5K  
 matita_0.99.1-3_amd64.deb          2013-12-24 00:08  2.4M  
 matita_0.99.1-3_i386.deb           2013-12-24 00:08  2.3M  
 matita_0.99.1.orig.tar.gz          2012-05-17 11:33  9.9M