/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: コマンドが見つかりません