From bc067ed6dcebe924833f05dfb0a18e1a662b0795 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Sat, 11 Nov 2017 08:48:27 +0100
Subject: [PATCH] lean

---
 large-sw.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/large-sw.nix b/large-sw.nix
index 75e39dc..c499afd 100644
--- a/large-sw.nix
+++ b/large-sw.nix
@@ -20,6 +20,7 @@
 
     stack
 
+    lean
     coq_8_6
 
     # cargo rustc