From acb37ceb6ad8970756b36d328efb21936d4d4cd8 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sun, 1 Oct 2023 17:50:52 +0200
Subject: update inputs

---
 pkgs/overlay.nix | 18 +-----------------
 1 file changed, 1 insertion(+), 17 deletions(-)

(limited to 'pkgs')

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;
 }
-- 
cgit v1.2.3