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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 matita_0.99.1-3.debi..> 2013-12-11 21:28  4.7K  
 matita_0.99.1-3.dsc     2013-12-11 21:28  1.5K  
 matita_0.99.1-3_amd6..> 2013-12-24 04:08  2.4M  
 matita_0.99.1-3_i386..> 2013-12-24 04:08  2.3M  
 matita_0.99.1.orig.t..> 2012-05-17 15:33  9.9M