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

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