Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

man7 gmetad mpitests-osu_scatter mpitests-osu_put_bibw pgmramp xpath fbo-copypix designer-qt4 sg_write_same setxkbmap cdf16bit cgcreate pq_ctndisp dphys-swapfile fdsh fp-2.6.4 hugs kpolygon.kss cleanup_ANTS_warp mupdf-x11 openBmapGTK ossim-band-merge fresh_rate_info procinfo r10k rsakeyfind science-config pdp4 sisu-html-seg sogo-ealarms-notify