Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

bglafile ceph_smalliobenchdumb clush db43_printlog grib_corruption_check guake-prefs HsColour s3 vgcfgrestore mysqlfrm openbox-kde-session phpcov tcftest vcf-to-tab watch-vmtouch flatrds awrite cproto acdvalid gausssum ali2gff lmms ftl_format mwaw2odf djvu2hocr rsbackup-snapshot-hook sndfile-deinterleave bitmap-editor unipng2hex yabause-gtk