../ matita-dbgsym_0.99.3-1+b1_amd64.deb 08-Mar-2017 02:15 887K matita-dbgsym_0.99.3-1+b1_arm64.deb 08-Mar-2017 00:58 881K matita-dbgsym_0.99.3-1+b1_armel.deb 11-Mar-2017 22:29 918K matita-dbgsym_0.99.3-1+b1_armhf.deb 13-Mar-2017 02:44 918K matita-dbgsym_0.99.3-1+b1_i386.deb 08-Mar-2017 03:42 836K 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 3M