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

 Name                               Last modified      Size  Description
 Parent Directory                                        -   
 matita_0.5.8.orig.tar.gz           22-Mar-2010 16:05  5.6M  
 matita_0.5.8-3build1.debian.tar.gz 29-Nov-2011 04:04  6.5K  
 matita_0.5.8-3build1.dsc           29-Nov-2011 04:04  2.0K  
 matita-doc_0.5.8-3build1_all.deb   29-Nov-2011 04:04  1.1M  
 matita_0.5.8-3build1_amd64.deb     29-Nov-2011 04:04  5.7M  
 matita_0.5.8-3build1_i386.deb      29-Nov-2011 04:05  5.5M  
 matita_0.99.1.orig.tar.gz          17-May-2012 07:33  9.9M  
 matita_0.99.1-3.debian.tar.gz      11-Dec-2013 12:28  4.7K  
 matita_0.99.1-3.dsc                11-Dec-2013 12:28  1.5K  
 matita_0.99.1-3_amd64.deb          23-Dec-2013 19:08  2.4M  
 matita_0.99.1-3_i386.deb           23-Dec-2013 19:08  2.3M