Index of /debian/packages/pool/main/m/matita/

../
matita-doc_0.5.8-2_all.deb                         04-Dec-2009 16:19      2M
matita-standard-library_0.5.3-1_all.deb            23-Jul-2008 22:32     12M
matita_0.5.3-1_amd64.deb                           23-Jul-2008 22:32      3M
matita_0.5.3-1_i386.deb                            24-Jul-2008 17:47      3M
matita_0.5.8-2+b1_amd64.deb                        25-Feb-2010 23:54      6M
matita_0.5.8-2+b1_i386.deb                         25-Feb-2010 23:54      5M
matita_0.99.1-1_amd64.deb                          06-May-2012 21:36      4M
matita_0.99.1-1_armhf.deb                          06-May-2012 23:49      9M
matita_0.99.1-1_i386.deb                           06-May-2012 23:17      3M
matita_0.99.1-3_amd64.deb                          10-Dec-2013 20:44      3M
matita_0.99.1-3_arm64.deb                          20-Oct-2014 02:30      7M
matita_0.99.1-3_armhf.deb                          11-Dec-2013 00:45      3M
matita_0.99.1-3_i386.deb                           10-Dec-2013 21:44      2M
matita_0.99.3-1+b1_amd64.deb                       08-Mar-2017 02:15      3M
matita_0.99.3-1+b1_arm64.deb                       08-Mar-2017 00:58      3M
matita_0.99.3-1+b1_armhf.deb                       13-Mar-2017 02:44      3M
matita_0.99.3-1+b1_i386.deb                        08-Mar-2017 03:42      3M