Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

kvm.kss kojid callback mtools supervisor ph.x_mpich scrollkeeper-config seqtk scapy a2lef bareos-fd cmtk cqrlog dcmmklut prepare-vhosts-file.pl hwinfo dumpkeys mia-lmpick ncmpcpp nitpic nlanr-tr-stat pmkinstall qmail-start runawk ttut texifyasm Resampler restore-trash vbmakefilter acknowledge.cgi