Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

restart-ds-admin bfast corosync dtdefs euca-replace-network-acl-entry nc2xy goimports lsmcli sensors-detect libssp-0.dll mpic++ partimage getteximage-luminance shpinfo a2jmidi_bridge cdfscale ocs-update-syslinux mt-dds hinfo gmerlin_alsamixer imposm-psqldb rdf_transcode.pl lv2soname ncmpc nepomuk2-rcgen circuits.web3 tifffile skyeye ucf vbshift