Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

bon_csv2html drawgraph mkdgiff genrb arcsub combinediff qdbusviewer newaliases.sendmail tethereal raxml clang-check-3.5 clang-tidy cookfp dkim_responder palindrome x86_64-linux-gnu-gcj gfan_substitute acsadmin mailer polarssl_ssl_test mprof-decoder pt-slave-find preline ct.pl helicos-load.2 tclsh8.6 FeatureFinderMetabo vigor wakeonlan src2def