Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

strip cernlib dirac_UYVYtoYUV422 gd2topng globus-job-submit gpk-install-mime-type netreport mcpp mon raven glsl-resource-not-bound recode newusers WidgetsCxxTests xmlif cgproxy rmadison update-alternatives drumstick-buildsmf patmatmotifs fastq_to_fasta guayadeque mia-2dsegmentcropbox nmixer tsudpsend rlplot sup-dump ttf2pk ttylog xcape