Index of /main/m/matita/

../
matita_0.5.8-2.diff.gz                             17-Aug-2012 12:16                5266
matita_0.5.8-2.dsc                                 17-Aug-2012 12:16                1721
matita_0.5.8-4.debian.tar.gz                       03-Aug-2012 21:23                7084
matita_0.5.8-4.dsc                                 03-Aug-2012 21:23                2396
matita_0.5.8.orig.tar.gz                           03-Aug-2012 21:23             5879034
matita_0.99.1-1.debian.tar.gz                      06-May-2012 21:36                4364
matita_0.99.1-1.dsc                                06-May-2012 21:36                1542
matita_0.99.1-2.debian.tar.gz                      02-Oct-2013 12:12                4329
matita_0.99.1-2.dsc                                02-Oct-2013 12:12                1542
matita_0.99.1-3.debian.tar.gz                      10-Dec-2013 20:44                4848
matita_0.99.1-3.dsc                                10-Dec-2013 20:44                1542
matita_0.99.1.orig.tar.gz                          06-May-2012 21:36            10366065
matita_0.99.3-1.debian.tar.xz                      25-May-2016 10:51                4296
matita_0.99.3-1.dsc                                25-May-2016 10:51                2167
matita_0.99.3.orig.tar.gz                          25-May-2016 10:51             3145643