From 3e8693fac889cd5b888ca0ea3f83e552b4573842 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 24 Nov 2020 14:34:55 +0100
Subject: [PATCH] fix: Nix: provide .#lean-package etc. from Lean package

---
 flake.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index bb7b0ca48d..98b82daf99 100644
--- a/flake.nix
+++ b/flake.nix
@@ -100,7 +100,7 @@
         '';
         mdbook = lean-mdbook;
         inherit doc doc-test;
-      } // lean.stage1 // lean;
+      } // lean.stage1.Lean // lean.stage1 // lean;
 
       defaultPackage = packages.lean;