Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

antRun ceph_test_objectstore anacron buildrealms gconf-editor dc1394_grab_partial_image mpitests-osu_reduce_scatter mpirun_dbg.gdb arccp XMLRPCsh.pl genmap xapian-check installSchema.py clang-tblgen dcmj2pnm get_agsize wam2ma hpanel mailexec install-menu i586-mingw32msvc-size cob-config vmixctl ppsh f1tattoo sauceadmin tstd latexfileversion vorbistagedit vsd2odg