Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

BackupPC_restore addwords fprobe-ulog radconf2xml msgunfmt gvgen r.surf.idw2 httpry setup-nsssysinit.sh dbcol sperl5.10.1 piglit-run planner pyrsa-keygen linguist sa-compile spicy-stats summain winefile cvs-switchroot dnsd gm-move_backups_offsite file2tcp kambdb_recover setvesablank SCMPrint llvm-size mark_service_inactive rancid_par tightvncserver