../ matita-dbgsym_0.99.3-1+b1_amd64.deb 08-Mar-2017 11:15 887K matita-dbgsym_0.99.3-1+b1_arm64.deb 08-Mar-2017 09:58 881K matita-dbgsym_0.99.3-1+b1_armel.deb 12-Mar-2017 07:29 918K matita-dbgsym_0.99.3-1+b1_armhf.deb 13-Mar-2017 11:44 918K matita-dbgsym_0.99.3-1+b1_i386.deb 08-Mar-2017 12:42 836K matita_0.99.3-1.debian.tar.xz 25-May-2016 05:22 4296 matita_0.99.3-1.dsc 25-May-2016 05:22 2167 matita_0.99.3.orig.tar.gz 25-May-2016 05:22 3M