Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

s390x-linux-gnu-addr2line cloog dash ngettext sendiso svcutil auinfo pnmtofits opendkim arb_texture_view-params qm2ts qucsdigi rosstack php_count xkbwatch comprez drbl-user-cp dynalogind x2sys_datalist grfid hsqldb-transfer pldd iac llvm-objdump-3.5 clfdomainsplit guimb gunicorn_pecan-python3 sndfile-generate-chirp tvnamer xwiishow