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;
       };