Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

b43-dasm mkdict euca-unbundle ipmi-sensors-config gconftool-2 cckdswap kmailservice lcg-lg transicc2 fishsound-decode list_members memcached mpitests-osu_scatter stinit pci arb_color_buffer_float-readpixels qstardict qschedd tpm_takeownership mount.tmpfs dh_installdebconf dbxstat i686-w64-mingw32-gnatbind-win32 iptables-xml hb-shape mpb-data npm-cli.js polyimport raxmlHPC-PTHREADS-SSE3 usbrelay