Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

bpython-gtk dlm_controld condor_release dl_poly_mpich drawvalmap v.lrs.label lcm-gen lxc-cgroup combine powercom ocount pgcompact glx-multithread-makecurrent-4 ndg_httpclient hwclock abc2midi btsethttpseeds dconvlum debconf-kde-helper dpatch-convert-diffgz freefoam-reactingParcel gift-dtd-to-tex.pl showtable lilo mozo tulip-diag screenlets-packager solaar-cli viterbi t2n