diff --git a/flake.lock b/flake.lock
index 6014a09..587e26d 100644
--- a/flake.lock
+++ b/flake.lock
@@ -57,16 +57,16 @@
         "nixpkgs": "nixpkgs_2"
       },
       "locked": {
-        "lastModified": 1694749717,
-        "narHash": "sha256-OQ72uweFMSkOzJ9u92enNql48ReZ+NBlnXtnanH+ZVA=",
-        "owner": "leanprover",
+        "lastModified": 1695313408,
+        "narHash": "sha256-VfVN74+5eAUUd0VsdbdazHgBkLBLnm3B8Url/ROZ07I=",
+        "owner": "nomeata",
         "repo": "lean4",
-        "rev": "339615042d9053f184393f73ef955fbdc3cd12bd",
+        "rev": "72140b099a0a0ed52218bcf26d6c21176e48b454",
         "type": "github"
       },
       "original": {
-        "owner": "leanprover",
-        "ref": "v4.1.0-rc1",
+        "owner": "nomeata",
+        "ref": "nix-no-depRoot",
         "repo": "lean4",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 8e51863..a02b661 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,5 +1,6 @@
 {
-  inputs.lean.url = github:leanprover/lean4/v4.1.0-rc1;
+  inputs.lean.url = github:nomeata/lean4/nix-no-depRoot;
+  #inputs.lean.url = github:leanprover/lean4/v4.1.0-rc1;
 
   inputs.nixpkgs.url = github:NixOS/nixpkgs;
   inputs.nixpkgs.follows = "lean/nixpkgs";