From f49d05bd764f3d58c72a3d4635a74e57fb8473bc Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Mon, 20 Sep 2021 16:26:51 +0200
Subject: [PATCH] chore: Nix: remove Leanpkg from stage 0

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

diff --git a/nix/bootstrap.nix b/nix/bootstrap.nix
index d5071e0dd3..77ed9cb57c 100644
--- a/nix/bootstrap.nix
+++ b/nix/bootstrap.nix
@@ -141,7 +141,7 @@ rec {
         '';
       };
       update-stage0 =
-        let cTree = symlinkJoin { name = "cs"; paths = [ Init.cTree Std.cTree Lean.cTree Leanpkg.cTree ]; }; in
+        let cTree = symlinkJoin { name = "cs"; paths = map (l: l.cTree) stdlib; }; in
         writeShellScriptBin "update-stage0" ''
           CSRCS=${cTree} CP_PARAMS="--dereference --no-preserve=all" ${../script/update-stage0}
         '';