Index of /gnewsense/pool/main/m/matita

      Name                          Last modified      Size  Description
      Parent Directory                                   -   
      matita-doc_0.5.8-2_all.deb    2009-12-04 16:19  1.6M  
      matita_0.5.8-2+b1_amd64.deb   2010-02-25 23:54  5.8M  
      matita_0.5.8-2+b1_i386.deb    2010-02-25 23:54  4.8M  
      matita_0.5.8-2+b2_mipsel.deb  2010-02-28 09:39   15M  
      matita_0.5.8-2.diff.gz        2009-12-04 16:19  5.1K  
      matita_0.5.8-2.dsc            2009-12-04 16:19  1.7K  
      matita_0.5.8.orig.tar.gz      2009-12-01 23:47  5.6M  
      matita_0.99.1-1.debian.tar.gz 2012-05-06 22:36  4.3K  
      matita_0.99.1-1.dsc           2012-05-06 22:36  1.5K  
      matita_0.99.1-1_amd64.deb     2012-05-06 22:36  3.9M  
      matita_0.99.1-1_i386.deb      2012-05-07 00:17  3.3M  
      matita_0.99.1-1_mipsel.deb    2012-05-07 07:02  8.9M  
      matita_0.99.1.orig.tar.gz     2012-05-06 22:36  9.9M