Index of /trisquel/pool/extras/m/matita

Icon  Name                      Last modified      Size  
[PARENTDIR] Parent Directory                               -   
[   ] matita_0.5.3.orig.tar.gz  2008-11-05 14:06  1.8M  
[TXT] matita_0.5.3-1.dsc        2008-11-05 14:06  1.6K  
[   ] matita_0.5.3-1.diff.gz    2008-11-05 14:06  4.3K  
[   ] matita_0.4.98.orig.tar.gz 2007-11-26 10:03  1.8M  
[TXT] matita_0.4.98-5.dsc       2007-12-12 10:04  1.1K  
[   ] matita_0.4.98-5.diff.gz   2007-12-12 10:04  3.9K