Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

fftw-wisdom-to-conf foomatic-fix-xml gnatkr img2google d.extract h5pcc mpirun nylist kronolith-import-squirrelmail-calendar bufferstorage-persistent prosody-migrator getafm get_sloc_details sfdisk xload checkbox-cli asan_symbolize-3.4 dh_acc garchive g.message akonadi_followupreminder_agent ubinfo cmdebug osganimationtimeline plpftp poff snstore fastq-load.2.3.5 sweep wmaloader