Package: matita

• 0.99.3-1 (main) [stretch]
• 0.99.1-3 (main) [jessie, jessie-kfreebsd]
• 0.99.1-1 (main) [wheezy]
• 0.5.8-2 (main) [squeeze]
• 0.5.3-1 (main) [lenny]