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