../ matita-doc_0.5.8-2_all.deb 26-Apr-2023 11:43 2M matita_0.5.8-2+b1_i386.deb 26-Apr-2023 11:43 5M matita_0.5.8-2.diff.gz 26-Apr-2023 11:43 5266 matita_0.5.8-2.dsc 26-Apr-2023 11:43 1721 matita_0.5.8.orig.tar.gz 26-Apr-2023 11:43 6M matita_0.99.3-1+b1_i386.deb 26-Apr-2023 15:47 3M matita_0.99.3-1.debian.tar.xz 26-Apr-2023 15:47 4296 matita_0.99.3-1.dsc 26-Apr-2023 15:47 2167 matita_0.99.3.orig.tar.gz 26-Apr-2023 15:47 3M