Binary: coq-tex

Debian packages that has this binary:

Package: coq

/usr/bin/coq-tex