Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

birdc corosync-objctl dhcp_lease_time euare-servercertlistbypath msktutil ssh-keygen pod2html arb_texture_view-lifetime-format ext_framebuffer_multisample-sample-coverage servicedbgen qucstrans sg_reset sss_usermod po2symb bauble-admin cfingerd ocs-resize-part split ctfmerge dtc-xen_domU_gen_xen_conf linkmap key2odp repo2solv mia-labelsort obexpush_atd serialver 2to3-3.4 qmake rsbackup-snapshot-hook sonic