lean4: 4.15.0 -> 4.16.0

Release notes: https://github.com/leanprover/lean4/releases/tag/v4.16.0
2025-02-03 19:42:32 +01:00
parent 5662e9e72b
commit f1ffa15967
1 changed files with 2 additions and 2 deletions
@@ -13,13 +13,13 @@

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

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

  postPatch = ''