dom-mrconfig: 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/dom-mrconfig - from package: dh-ocaml

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

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