lean4: 4.17.0 -> 4.18.0

2025-04-01 07:50:53 +00:00
parent 7f092ef837
commit e170677ba0
1 changed files with 2 additions and 2 deletions
@@ -14,13 +14,13 @@

 stdenv.mkDerivation (finalAttrs: {
  pname = "lean4";
-  version = "4.17.0";
+  version = "4.18.0";

  src = fetchFromGitHub {
    owner = "leanprover";
    repo = "lean4";
    tag = "v${finalAttrs.version}";
-    hash = "sha256-6oteAbCKhel0pRyFGqSDG03oDPQU5Y9dsPcujSG6sjo=";
+    hash = "sha256-1hVcRO9RbVUgoKTUTFXBqJZwt50/aw/P9dxUdI7RpCc=";
  };

  postPatch = ''