Binary: matitac

Debian packages that has this binary:

Package: matita

/usr/bin/matitac

Random binary cloud:

amd2ldif ar neqn genbrk mpicc gjh node-gyp pccardctl pesign-client rosinstall system-config-keyboard xfs_db xmlsec1 aideinit bp_dbsplit hciattach busybox make_cvtermpath.sh dcm_vr_patterns dcm2xml debian-builder icemon amd64-mingw32msvc-size mradd p2wgui smart-notifier gap4 movie-make-title ftwhich yrmcdsd