Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

ds_removal dmg2img gnokiid kde4-menu kolourpaint mtp-sendtr hpi_shell pcl_ply2ply fp-lit-mask bcrelay hbf2gf tolua++ chronicle-ping dpkg-sig condor_ft-gahp tca_correct translate njb-gettr njb-handshake errno multicat_validate oarnotify native2ascii pwrkap_cli deb3 stopmotion texjava uwsgi_python27 whatmaps lxterm