Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

bakefile rndc-confgen cracker xdawg pf2afm binlegs d.profile ifenslave mpicxx clogTOslog2 pandoc gl-3.1-primitive-restart-xfb ps_mem vsexplorer licensecheck x2godesktopsharing a2crd hashalot embpmsgid pam_abl lcp today rmeventc pdfpc rkward tntnet ulatencyd vmdebootstrap wcd.exec ZaMultiComp