Index of /ubuntu/pool/universe/m/matita

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 matita_0.99.1-3.debi..> 2013-12-11 12:28  4.7K  GZIP compressed docume>
 matita_0.99.1-3.dsc     2013-12-11 12:28  1.5K  
 matita_0.99.1-3_amd6..> 2013-12-23 19:08  2.4M  
 matita_0.99.1-3_i386..> 2013-12-23 19:08  2.3M  
 matita_0.99.1.orig.t..> 2012-05-17 07:33  9.9M  GZIP compressed docume>