Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

aqhbci-tool4 arcstorage-ui ld.bfd pand cs_static.cgi condor_preen cp2k.psmp_mpich parseThat mke2fs fido ipmipower git-send-bugzilla intel_forcewaked mstmwrite ods-hsmutil db_to_html_table Stangle remctld allneeded usb-devices unutf advene md5sum.textutils dsyslog scel2org distinkt-travisyml liggghts live-config qemu-system-xtensa yodl2txt