Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

cpufreq-aperf dirac_RGBtoBMP dvipdft eric4-editor foomatic-searchprinter r.cross ss arb_texture_multisample-sample-position xsetbg xournal deluser autoreconf-dickey sindex citadel detect_spheres_matched_filter dav dh_installdocs eiciel gjavah-4.8 r.to.vect latexmk colormap blastp nuaclgen opendkim-testkey osgoit osdshconfig pkcomposite verify_data MKVSYall