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

../
matita-doc_0.5.8-2build2_all.deb                   16-Apr-2010 17:05      1M
matita-doc_0.5.8-3_all.deb                         04-Jun-2011 20:04      1M
matita-doc_0.5.8-3build1_all.deb                   29-Nov-2011 09:04      1M
matita-standard-library_0.4.98-5_all.deb           12-Dec-2007 23:04     12M
matita_0.4.98-5.diff.gz                            12-Dec-2007 10:04    3979
matita_0.4.98-5.dsc                                12-Dec-2007 10:04    1108
matita_0.4.98-5_amd64.deb                          13-Dec-2007 21:03      3M
matita_0.4.98-5_i386.deb                           12-Dec-2007 23:04      3M
matita_0.4.98.orig.tar.gz                          26-Nov-2007 10:03      2M
matita_0.5.8-2build2.diff.gz                       16-Apr-2010 17:05    5361
matita_0.5.8-2build2.dsc                           16-Apr-2010 17:05    1745
matita_0.5.8-2build2_amd64.deb                     16-Apr-2010 22:05      6M
matita_0.5.8-2build2_i386.deb                      16-Apr-2010 17:05      6M
matita_0.5.8-3.debian.tar.gz                       04-Jun-2011 20:04    6565
matita_0.5.8-3.dsc                                 04-Jun-2011 20:04    1974
matita_0.5.8-3_amd64.deb                           04-Jun-2011 20:04      6M
matita_0.5.8-3_i386.deb                            04-Jun-2011 20:04      5M
matita_0.5.8-3build1.debian.tar.gz                 29-Nov-2011 09:04    6627
matita_0.5.8-3build1.dsc                           29-Nov-2011 09:04    2072
matita_0.5.8-3build1_amd64.deb                     29-Nov-2011 09:04      6M
matita_0.5.8-3build1_i386.deb                      29-Nov-2011 09:05      6M
matita_0.5.8.orig.tar.gz                           22-Mar-2010 20:05      6M
matita_0.99.1-1.debian.tar.gz                      17-May-2012 11:33    4364
matita_0.99.1-1.dsc                                17-May-2012 11:33    1542
matita_0.99.1-1_amd64.deb                          17-May-2012 20:03      4M
matita_0.99.1-1_i386.deb                           17-May-2012 19:34      3M
matita_0.99.1.orig.tar.gz                          17-May-2012 11:33     10M