Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

clamscan cube_calltree dglc gcx testepsg d.ask dictionary sgmlcheck gridftpd telinit vapicheck-0.10 xprep yelp avr-evtd ar dkim_responder dphys-config-filesys.gz krandrstartup LCDd install-sh paulstretch pbuilder ptscotch_esmumps mailq repsnapper gem2gv sattach thg vde_plug2tap vsftpdwho