Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

nm dzen2-gcpubar euform-validate-template man5 dimfilter gshhg d.rgb memprof2calltree mtp-albums lout ifdhandler c_rehash glsl-fs-fogcolor-statechange python2.6-testify webassets aepatch retrv creduce freemind gcjh-4.9 update-pdf-help innupgrade lo10k1 openfetion ossim-img2md swgen staden ncg fortran77 xmake_anim