Index of /pardus/pool/main/m/matita/

../
matita_0.99.3-1+b1_amd64.deb                       02-Jul-2026 16:08      3M
matita_0.99.3-1+b1_i386.deb                        02-Jul-2026 16:07      3M
matita_0.99.3-1.debian.tar.xz                      02-Jul-2026 15:41    4296
matita_0.99.3-1.dsc                                02-Jul-2026 15:41    2167
matita_0.99.3.orig.tar.gz                          02-Jul-2026 15:41      3M