../ matita_0.99.3-1+b1_amd64.deb 31-Oct-2025 17:30 3M matita_0.99.3-1+b1_i386.deb 31-Oct-2025 17:23 3M matita_0.99.3-1.debian.tar.xz 31-Oct-2025 17:17 4296 matita_0.99.3-1.dsc 31-Oct-2025 17:17 2167 matita_0.99.3.orig.tar.gz 31-Oct-2025 17:17 3M