../ matita-dbgsym_0.99.3-1+b1_amd64.deb 08-Mar-2017 02:15 908212 matita-dbgsym_0.99.3-1+b1_arm64.deb 08-Mar-2017 00:58 901884 matita-dbgsym_0.99.3-1+b1_armel.deb 11-Mar-2017 22:29 939718 matita-dbgsym_0.99.3-1+b1_armhf.deb 13-Mar-2017 02:44 940324 matita-dbgsym_0.99.3-1+b1_i386.deb 08-Mar-2017 03:42 856574 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