Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

turbostat dhclient-script realmset euscale-describe-policies faxaddmodem ibrouters lfc-dli lvs mpitests-osu_multi_lat pmlogextract tm_reduce qnodes qnoded deletall fmi aa-autodep daa2iso eboard-addtheme gfsview2D actmerge inncheck bping llvm-stress-3.4 gendist sgml2x SNHELLO stunc ssake udo xnbd-wrapper