Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

sh-linux-gnu-size d.what.rast i2cdetect imapsync kde-mv ppmcie pyhoca-cli pyreverse remctl sss_groupdel transmission-show calligraconverter makedat.courier dsr2xml exmendis install-db.sh glam2 ma2asm gtkorphan guitarix klorenz.kss prefix magic mumble-overlay ocamldsort debconf-updatepo s3qlcp sauce9-convert na_record sponsor-patch