Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

blenderplayer.bin fts_bringonline gs mtp-newplaylist opt hydra_pmi_proxy pamchannel pvpython makempy fake_router26 tpm_updatepcrhash cafeobj cdfspeed cdfzisot debiandoc2info docbook-to-man query.py glam2-purge japa kbanner.kss install.sh afs-newcell pcl_openni_mls_smoothing ir_ab_names premake4 process_qseq.py atk6-thcsyn6 trash usbprog ZamCompX2