Debian 7/8 Installation

Visit and download .deb file under Trusty series.

Download .deb file

Run the following commands to install Lean:

# Dependencies
apt-get install libstdc++-4.8-dev libgmp-dev libmpfr-dev liblua5.2-dev ninja-build
sudo dpkg -i <DOWNLOADED_DEB_FILE>

Install emacs-24 on Debian-8

sudo apt-get install emacs24

Install emacs-24 on Debian-7

Debian 7 (wheezy) only provides emacs-23 while lean-mode requires emacs-24. To install emacs-24, edit /etc/apt/sources.list file and add deb wheezy-backports main to it.

Then, run the following commands:

sudo apt-get update
sudo aptitude --target-release wheezy-backports install emacs24

Starting Lean Emacs mode

Configure .emacs initialization file using these instructions.