coqwc: command not found

Have You tried accessing the binary with the full path?

Maybe Your $PATH variable doesn't contain the default paths? echo $PATH should give something like:

[root@server ~]# echo $PATH
/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin:/root/bin

If it's empty, You may set the PATH variable with this command

export PATH="/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin:/root/bin"

On Debian possible default full paths are:

/usr/bin/coqwc - from package: coq

You may install the required package with command apt-get install {package}
Error in other languages:
coqwc: bevel nie gevind nie
coqwc: comandă negăsită
coqwc: comando não encontrado
coqwc: commande introuvable
coqwc: command not found
coqwc: käsku ei ole
coqwc: không tìm thấy lệnh
coqwc: komanda nerasta
coqwc: Kommando nicht gefunden.
coqwc: kommandot finns inte
coqwc: komut yok
coqwc: nie znaleziono polecenia
coqwc: níor aimsíodh an t-ordú
coqwc: no se encontró la orden
coqwc: no s'ha trobat l'ordre
coqwc: opdracht niet gevonden
coqwc: parancs nem található
coqwc: perintah tidak ditemukan
coqwc: príkaz nenájdený
coqwc: příkaz nenalezen
coqwc: команда не найдена
coqwc: командата не е открита
coqwc: 命令找不到
coqwc: コマンドが見つかりません