gallina: 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:

/usr/bin/gallina - from package: coq

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

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