/usr/bin/coqc
/usr/bin/coqchk
/usr/bin/coqchk.opt
/usr/bin/coqdep
/usr/bin/coqdoc
/usr/bin/coq_makefile
/usr/bin/coq-tex
/usr/bin/coqtop.byte
/usr/bin/coqtop
/usr/bin/coqtop.opt
/usr/bin/coqwc
/usr/bin/gallina
You may install this package on Debian with
apt-get
install coq