Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

amd2ldif arptables-save autotest-daemon-monitor b43-beautifier gfs_controld toke pslegend ijsgutenprint.5.2 hp_sky_ng_sim_bin sensors-conf-convert modpods tcplay tipc-config findfs antpm-usbmon2ant cdfstats bundlelinks crashmail dphys-swapfile v.to.points bplist mifare-desfire-ev1-configure-ats httprecorder upslog pianobar empy qemu-system-sparc64 tgd TOFCalibration xtv