Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

readmult qping create-ec2-factory-credentials rpmmd2solv ulimit-tvf.sh monodocs2slashdoc mpitests-osu_bibw minidaemon_client pbmtogo ib_atomic_lat lsb_release afm2tfm ldattach xsdcxx a2query coax cdfvar dcmmkcrv debconf-apt-progress debfoster2aptitude grossd jsonpipe map2rmp root-tail samizdat-create-database shatag-add sshare dfg2otter.pl galleroob cli_send_processor_xrl