7.1.2 Installation

If a tool’s distribution/version is supported by HARK, it can be installed using apt-get. For the registration of the repository, see the HARK webpage.

>sudo apt-get install harktool3