1 files changed, 1 insertions, 17 deletions
diff --git a/pkgs/overlay.nix b/pkgs/overlay.nix
index ebea1a0..1e357ed 100644
--- a/pkgs/overlay.nix
+++ b/pkgs/overlay.nix
@@ -103,21 +103,5 @@ in
 
   matrix-to = self.callPackage ./matrix-to.nix {};
 
-  lean4 = unstable.lean4.overrideAttrs (old: rec {
-    version = "4.1.0-rc1";
-    src = self.fetchFromGitHub {
-      owner = "leanprover";
-      repo = "lean4";
-      rev = "v${version}";
-      hash = "sha256-OQ72uweFMSkOzJ9u92enNql48ReZ+NBlnXtnanH+ZVA=";
-    };
-    postPatch = ''
-      substituteInPlace src/CMakeLists.txt \
-        --replace 'set(GIT_SHA1 "")' 'set(GIT_SHA1 "${src.rev}")'
-
-      # Remove tests that fails in sandbox.
-      # It expects `sourceRoot` to be a git repository.
-      rm -rf src/lake/examples/git/
-    '';
-  });
+  inherit (unstable) lean4;
 }