Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

m68k-linux-gnu-ld ant.cmd gd2topng gxint zgrep kdeasciiquarium.kss mtp11-thumb mysqluc rpcdebug maketext content-untag phcg.x_openmpi shpwkb skipfish cg_annotate wsman apertium-desxlsx dispwin reorient dtc_install_centos ant.cmd smooth3.lut hxaddid hxnormalize pdftk renrot tophat_reports udisksctl uhd_usrp_probe yodl2whatever