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

 Name                                     Last modified      Size  Description
 Parent Directory                                              -   
 matita-doc_0.5.8-2build2_all.deb         17-Apr-2010 01:05  1.2M  
 matita-doc_0.5.8-3_all.deb               05-Jun-2011 04:04  1.1M  
 matita-doc_0.5.8-3build1_all.deb         29-Nov-2011 17:04  1.1M  
 matita-standard-library_0.4.98-5_all.deb 13-Dec-2007 07:04   12M  
 matita_0.4.98-5.diff.gz                  12-Dec-2007 18:04  3.9K  
 matita_0.4.98-5.dsc                      12-Dec-2007 18:04  1.1K  
 matita_0.4.98-5_amd64.deb                14-Dec-2007 05:03  3.4M  
 matita_0.4.98-5_i386.deb                 13-Dec-2007 07:04  3.1M  
 matita_0.4.98.orig.tar.gz                26-Nov-2007 18:03  1.8M  
 matita_0.5.8-2build2.diff.gz             17-Apr-2010 01:05  5.2K  
 matita_0.5.8-2build2.dsc                 17-Apr-2010 01:05  1.7K  
 matita_0.5.8-2build2_amd64.deb           17-Apr-2010 06:05  5.8M  
 matita_0.5.8-2build2_i386.deb            17-Apr-2010 01:05  5.5M  
 matita_0.5.8-3.debian.tar.gz             05-Jun-2011 04:04  6.4K  
 matita_0.5.8-3.dsc                       05-Jun-2011 04:04  1.9K  
 matita_0.5.8-3_amd64.deb                 05-Jun-2011 04:04  5.6M  
 matita_0.5.8-3_i386.deb                  05-Jun-2011 04:04  5.4M  
 matita_0.5.8-3build1.debian.tar.gz       29-Nov-2011 17:04  6.5K  
 matita_0.5.8-3build1.dsc                 29-Nov-2011 17:04  2.0K  
 matita_0.5.8-3build1_amd64.deb           29-Nov-2011 17:04  5.7M  
 matita_0.5.8-3build1_i386.deb            29-Nov-2011 17:05  5.5M  
 matita_0.5.8.orig.tar.gz                 23-Mar-2010 04:05  5.6M  
 matita_0.99.1-1.debian.tar.gz            17-May-2012 19:33  4.3K  
 matita_0.99.1-1.dsc                      17-May-2012 19:33  1.5K  
 matita_0.99.1-1_amd64.deb                18-May-2012 04:03  3.8M  
 matita_0.99.1-1_i386.deb                 18-May-2012 03:34  3.2M  
 matita_0.99.1.orig.tar.gz                17-May-2012 19:33  9.9M