Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

avr-gdb cmake-fedora-newprj mysql_zap patchperl arb_texture_cube_map_array-get podofomerge postmap rst2odt_prepstyles qtconfig-qt4 restoretextmode bauble-admin ceph_rgw_jsonparser dolfin-order ejabberdctl f-irc gvmap roff2dvi update-ifupdown-scripts-zg2.d-symlinks ovdb_init kscience.kss lxc-test-startone miwm pmsnap pwauth ufl2py science-astronomy tsqd cleanup setwrapexec dh_xsf_substvars