Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

setcifsacl tac dahdi_genconf dsniff rtmon libgfortran-3.dll esp_mpich gensrv_py.py tpm_version virt-what x2gosuspend-session xvile-libdir-path autocutsel powerpc-linux-gnu-gprof jaspscan loginfo-handler gprolog hxunent indi_lx200generic kwalletaskpass msword2brl inline2test i686-w64-mingw32-ocamlprof osgfxbrowser qbs-qmltypes xscanimage atk6-fake_pim6 action_printemail totalopenstation-cli-connector tv_cat