# Installing Lean on Ubuntu

## Build Dependencies

Please ensure you have the following build tools available and then
follow the [generic build instructions](index.md).

## Basic packages

```bash
sudo apt-get install git libgmp-dev cmake ccache clang
```
