coq.hb command not found

In this troubleshooting guide we learn how to fix coq.hb command not found error message

Introduction

When you run more command in linux terminal / console, you get the following error message

coq.hb: command not found

or when using sudo you get the following error message

sudo: coq.hb: command not found

In Ubuntu coq.hb is provided by coq-hierarchy-builder package.

coq-hierarchy-builder is:

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.

This package provides the command-line tool.

To fix this problem, we can install more using the command below.

sudo apt-get -y install coq-hierarchy-builder

This command might take some time to finish depending on your machine internet connection.

You can also use apt command to install coq-hierarchy-builder.

sudo apt -y install coq-hierarchy-builder

Or if you have aptitude installed you can use the following command.

sudo aptitude install coq-hierarchy-builder

In this tutorial we learn how to fix coq.hb command not found error in Ubuntu / Debian / Kali Linux or Raspbian distribution.