coqweb: command not found

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:

/var/lib/wims/public_html/bin/coqweb - from package: wims

You may install the required package with command apt-get install {package}

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