Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

bc fence_tool cat typer intel-gen4asm mpichversion pdf270 pterm sdpscanner wvCleanLatex xemacs-xft lapackprof get-iab ar ceph_test_rados_api_c_write_operations csbeats faust2mathviewer fvwm1 uhd_rx_nogui oclingo vldiff leo osdctl pypi-install chrid.dat BaselineFilter unison-2.32-gtk vnc4config vtkWrapHierarchy-6.1 xdiskusage