../ matita_0.99.1-1_amd64.deb 06-May-2012 21:36 4097984 matita_0.99.1-3_amd64.deb 10-Dec-2013 20:44 2674968 matita_0.99.1-3_i386.deb 10-Dec-2013 21:44 2535196 matita_0.99.3-1+b1_amd64.deb 08-Mar-2017 02:15 3455742 matita_0.99.3-1+b1_i386.deb 08-Mar-2017 03:42 3269806