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