Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

gnome-pty-helper fr iptstate isnsadm mydnsimport-mysql 7zG pcl_pcd_change_viewpoint kronolith-agenda ext_framebuffer_multisample-sample-coverage getactiveattrib rhythmbox system-config-kdump lsmsr aubioonset adt-virt-schroot update-command-not-found trjconv ibfindnodesusing synaptikscfg zcat jmcore miramem pinot-index gateway_ping_test fitsdiff tcpwatch-httpproxy setclasspath.sh vflmktfm VisualBoyAdvance tonetrain