Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

chicken gnome-default-applications-properties dgsop dwpage.php runghc kcutilmgr jpegtopnm nymerge dbcolhisto glsl-getactiveuniform-array-size pmw.x_mpich recoll x11vnc ceph_test_cls_refcount c-icap-client edbrowse xps_exc gelemental GoldenCheetah kgb-client kmod notQttest matchbox-panel lav2yuv util.py proclint dkimsign rt-shredder-4 tsk_recover omindex