diff options
author | stuebinm | 2023-10-01 17:50:52 +0200 |
---|---|---|
committer | stuebinm | 2023-10-01 17:50:52 +0200 |
commit | acb37ceb6ad8970756b36d328efb21936d4d4cd8 (patch) | |
tree | f817718d43917a02277e06688f7a5a9e9d3bbf85 /pkgs/overlay.nix | |
parent | 55d67617e0ae7f6c7bbb759d3dbff7c5257f2e98 (diff) |
update inputs
Diffstat (limited to 'pkgs/overlay.nix')
-rw-r--r-- | pkgs/overlay.nix | 18 |
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; } |