Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

amreport artsshell nm unixcat dt-getaddr fedmsg-trigger iptables-xml-1.4.7 latex2png vgextend libgcc_s_sjlj-1.dll ncatted cpan sparkline subnetcalc pxdvi bdfresize cinnamon-screensaver-command clusterssh phm2helix ipptool aclients gnome-shell-perf-tool pto_var trhsx scandeps nicstat osgimagesequence sesha-add-stock serverobserver zita-bls1