Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

dsktune gxditview usleep mksh ctlib zenmap-root nyshell-gfortran content-tag-delete stencil-twoside psiconv pure-uploadscript lconvert-qt5 qdbus syndaemon SeqNoise camlp5o.opt writebuffer dh_auto_install cpgplot taxgetspecies learnkeys gfan_leadingterms gnome-photos icesound-experimental reglookup-recover atk6-sendpeesmp6 totalopenstation-cli-parser tunapie symtext xwit