Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

fence_node ppdc msginit spent pmmessage psftp qrerun apache2 ocs-live-post-run colormake dbacl ifetch jazipconfig dumbnet-config glxheads hose openstreetmap-client powerline qpdldecode make_otu_table.py qdbuscpp2xml sdasstm8 slon_start csound-play-harmonic-interval.sh pregap4 tvnamer uwsgi_python34 movie-zoomcalc zomghelper fsrefs