Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

powerpc64-linux-gnu-ranlib g_h2order ipppd KateDJ pbmtextps netxml-ups nanny nwsclient.py col xkbwatch ax25rtd h8300-hms-ar cdcd ginsh gr_plot_qt guile-2.0 drawserv krb5-config.mit mysql_config_pic blastpgp noweave ts2m2ts trust pfstmo_durand02 pil predictprotein ptunnel sg_referrals vam xara