Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

amlabel arpsnmp gtk-window-decorator GenSec flow-header idiscover mimedefang designer-qt4 rake sdcc-sst7 pg2cdbi.pl check-support-status seqxref fallc.fal faust2png iclingo ad_config mwaw2html shm_askpass nuttcp nzbget pan pcmanfm refdbd science-electrophysiology serverspec-runner tsreport tty-clock udisks-tcp-bridge vbutil_key