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

../
matita-doc_0.5.8-3build1_all.deb                   29-Nov-2011 17:04      1M
matita_0.5.8-3build1.debian.tar.gz                 29-Nov-2011 17:04    6627
matita_0.5.8-3build1.dsc                           29-Nov-2011 17:04    2072
matita_0.5.8-3build1_amd64.deb                     29-Nov-2011 17:04      6M
matita_0.5.8-3build1_i386.deb                      29-Nov-2011 17:05      6M
matita_0.5.8.orig.tar.gz                           23-Mar-2010 04:05      6M
matita_0.99.1-3.debian.tar.gz                      12-Dec-2013 01:28    4848
matita_0.99.1-3.dsc                                12-Dec-2013 01:28    1542
matita_0.99.1-3_amd64.deb                          24-Dec-2013 08:08      2M
matita_0.99.1-3_i386.deb                           24-Dec-2013 08:08      2M
matita_0.99.1.orig.tar.gz                          17-May-2012 19:33     10M
matita_0.99.3-1.debian.tar.xz                      30-Dec-2016 02:53    4296
matita_0.99.3-1.dsc                                30-Dec-2016 02:53    2167
matita_0.99.3-1_amd64.deb                          30-Dec-2016 03:28      3M
matita_0.99.3-1_i386.deb                           30-Dec-2016 03:28      3M
matita_0.99.3.orig.tar.gz                          30-Dec-2016 02:53      3M