Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

ace-validator r3.out.v5d hp-sendfax otr_sesskeys mpitests-osu_allreduce gltpd crm_error yshift-gfortran glx-fbo-binding pkicreate catstomp sdcv xvarstar fixup-linkedattrs rsdwnlnk arm-linux-gnueabihf-ranlib z80-unknown-coff-addr2line elidad gij-4.9 geximon git-delete-submodule imapproxyd umountpy partclone.info xen_test 80211_resource scaladoc modelicat xspim ghostlist.cgi