Binary: matita

Debian packages that has this binary:

Package: matita

/usr/bin/matita

Random binary cloud:

getcifsacl ftdiff Gravity r.spreadpath htmv hp-check mpif77 ocamltags papi_cost sumpdos.x_openmpi roundup-gettext charon-cmd dnsdict6 verga yum ptview elyxer fmscan globus-rvf-check gnunet-qr i.group jmeters vewarn openstv-run-election otfshrink pg_comparator lqtplay slim systemd-cgtop rib_xrl_shell_funcs.sh