../ 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 matita_0.99.3-1.debian.tar.xz 24-May-2016 20:22 4296 matita_0.99.3-1.dsc 24-May-2016 20:22 2167 matita_0.99.3.orig.tar.gz 24-May-2016 20:22 3145643