Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

bcfg2-yum-helper flankBed euca-describe-instance-types flow-dscan fc-cat webhttrack ontap_lsmplugin mine_detector mpitests-osu_latency_mt mysqldbexport tripplite openchangeclient openipmish sqt2pin dbcolize pilot-install-user twprint ODBCConfig autoreconf2.13 ccal clasp esmtpd dh_gconf odfextract socklist qemu-ppc64-static pinq fst-infl unaccent wajig