lean4: 4.14.0 -> 4.15.0

Release notes: https://github.com/leanprover/lean4/releases/tag/v4.15.0
2025-01-14 07:47:46 +01:00
parent ed3033393e
commit 49b8bad2d7
1 changed files with 2 additions and 2 deletions
@@ -13,13 +13,13 @@

 stdenv.mkDerivation (finalAttrs: {
  pname = "lean4";
-  version = "4.14.0";
+  version = "4.15.0";

  src = fetchFromGitHub {
    owner = "leanprover";
    repo = "lean4";
    rev = "v${finalAttrs.version}";
-    hash = "sha256-xVQCbZLVSI+UiFoimw7TK1P5DQca412ss/9z3LzaxCQ=";
+    hash = "sha256-Xzuk41voBP93vsl3u/bBii9Y6DMfvi6UazKiLLABgHA=";
  };

  postPatch = ''