Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

edac-util firstaidkitrevert cvtenc lkbib plasma-overlay genhash lxc-stop ifdata amplgsl.dll puttygen snmpttconvert TaskJugglerUI bisonc++ scan-view-3.4 dh_testdir debdiff fastaq_long_read_simulate funds9 gfan_bases jets3t-cockpit zypp-CheckAccessDeleted mc.csh Mono.TextEditor.dll mrpt-performance lssu rmic lookat slicecat perl6-debug-p test_mqm_hyper_prob.R