Index of /stable/debian-6-official-release/pool/main/m/matita/

../
matita-doc_0.5.8-2_all.deb                         21-Jan-2020 11:46             1670576
matita_0.5.8-2+b1_amd64.deb                        21-Jan-2020 11:44             6092864
matita_0.5.8-2+b1_i386.deb                         21-Jan-2020 16:50             5056910