Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

mips64-linux-gnu-objdump nordugrid_gahp cppunit-config bfin-linux-gnu-gcov r.circle qconf kwalletd iwpmd testregexp.rb mysqltest_embedded pvdataserver pmlc qttracereplay vglconfig exp getdefs m68hc11-addr2line powerpc-linux-gnu-objcopy ccbuild chef-client clfswm cvsu fatrace estcall jed rw-by-pid-report newlist pp_popcon_cnt prads2snort qashctl