Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

ebstopcode jlatex2html dynmat.x_openmpi rmap rt-attributes-viewer square sslh rumakeindex yum-groups-manager blaze-list camlp5o.opt rcopy-repeatedly chklastlog confdb2ldif makealiases fslview gammu-detect bpls deliverquota.maildrop mozplugger-linker spidey nutcpc i686-w64-mingw32-ocamlprof pcl_nn_classification_example scim-im-agent terminatorX tralics vzfsync whowatch zfs-fuse