Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

gnome-window-properties diffpp g_morph llvm-extract sz mconfig mpitests-osu_reduce pmlogger_daily shinken srec_info init envy24control mkiss bp_classify_hits_kingdom isotpserver coala multinet expo.itt setBugDatabaseInfo fusioninventory-wakeonlan gddccontrol grc saveservice.properties npm-cli.js pinpoint dh_python-ply dh_python2 relion_particle_sort snlockf x11-touchscreen-calibrator