2024-11-15 14:40:48 -08:00
1 changed files with 1 additions and 1 deletions
--- 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;
      };