Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

gfal_unittest kwin_killer_helper memdump regcompare libwinpthread-1.dll mysql_tzinfo_to_sql ppmrough bcmxcp_usb radstatus razor-confupdate salt-run logger xmlsec1 idl5.lut hg-fast-export jack_zombie lastal llines nbd-proxy lzma_alone distprompter ohcount scitools sitesummary-client slirp-fullbolt rc.pl swift-container-replicator tao2wav vde_pcapplug wmix