Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

bipgenconfig flow-export flow-rptfmt bsondump rdf2srec node-gyp.js pkgdb-cli pw2wannier90.x apache2 autoconf2.64 bp_heterogeneity_test dot_mcp enlightenment extsmaild figtoipe computeBugHistory freefoam-electrostatic hodie hv3 jade.js onesixtyone jarsigner pg_restore circuits.web3 hachoir-subfile rhc rplayd crossystem virtualbricks zomghelper