Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

mkromdic db43_checkpoint eulb-modify-lb-attributes hostapd_cli getkeycodes systemsettings mtvtoppm quotaon vtkWrapTclInit xrotor amavis-mc mkiss clear_console calibre cf-key changetrack detect_spheres_matched_filter debian-installer-launcher ffihugs getpcaps monav-packager Mono.Cecil.Pdb.dll Microsoft.Build.CommonTypes.xsd jffs2reader polygraph-pmix3-ips pretzel-it smp_zone_lock sorterr tigr-glimmer viewname