From 0ee7d575709f6e08cabb54db8460d0249a57ba2f Mon Sep 17 00:00:00 2001 From: Leni Aniva Date: Thu, 14 Nov 2024 22:51:25 -0800 Subject: [PATCH] feat: Expose iTree for LSP Configuration --- flake.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/flake.nix b/flake.nix index 2c1a76e..91901d8 100644 --- a/flake.nix +++ b/flake.nix @@ -73,7 +73,7 @@ in rec { packages = { inherit (pkgs.lean) lean lean-all; - inherit (project) sharedLib; + inherit (project) sharedLib iTree; inherit (repl) executable; default = repl.executable; };