Index of /old-ubuntu/pool/universe/m/matita/

../
matita-doc_0.5.8-3build1_all.deb                                                                                         25-Sep-2023 19:51      1M
matita_0.5.8-3build1_amd64.deb                                                                                           25-Sep-2023 19:51      6M
matita_0.5.8-3build1_i386.deb                                                                                            25-Sep-2023 19:51      6M