Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

dtinitconf git-receive-pack updateinfoxml2solv mmg3d4 whiptail semver qdoc rakgit2new cleandb.sh vigra-config synclient bp_flanks mkpop3dcert dacsemail dmucs i3-nagbar jclicauthor Newtonsoft.Json.xml nodejs pkcs11-dump pilconvert tntlogin robocut sim4 lv2_simple_jack_host tlsdated tracker-needle ucspi-proxy-imap unbound-host xmobar