3 usr/share/matita/AUTHORS
4 usr/share/matita/LICENSE
7 usr/share/matita/*.lang
8 usr/share/matita/*.gtkrc
10 usr/share/matita/*.templ
11 usr/share/matita/matita usr/bin/
12 usr/share/matita/matitac usr/bin/
13 usr/share/matita/matitamake usr/bin/
14 usr/share/matita/matitadep usr/bin/
15 usr/share/matita/matitaclean usr/bin/
16 usr/share/man/* usr/share/man/