Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

aggregate mn10300-linux-gnu-as bitmap kpdic gshhg tagtest solid-hardware kvg ppmrelief spectrumctl monitor a2j adnsheloex arm-none-eabi-strings h8300-hms-ld update-canna-dics_dir cm cuebreakpoints frama-c bpchat pm_which m2ts2cbrts pcl_ni_trajkovic python3dm-config xml2odf rsbackup amk_m2 compute_av tcpcopy tshark