Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

clamsmtpd euca-describe-snapshots gxine_client ibmsquit ccrewrite mtn xspectra.x_openmpi rest-bench xmonisdn xvile-to-html apt-key ocs-lang-kbd-conf drbl-bug-report ecaccess-job-restart.bat freefoam-multiphaseInter funcnts xmlplan2plan gfm gr_filter_design htntlm bdgcmp mkc_check_funclib test_index service_crashed parcimonie core_server atk6-dump_router6 transgui twiggy shortpath