Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

avahi-publish printf euimage-install-pack typemaker sff2g3 arcmkdir rngtest tmux-top rvim xlogo all-knowing-dns m68hc12-nm lmtpproxyd dbadb deluge tragesym hmmpress update-java-alternatives lp-force-branch-mirror gil2bin odbxtest gendist pmacctd rougify crxvt-big5 sphinx_cepview tkdeskclient wajig olsr_print_databases zalign