Merge pull request #264514 from marsam/update-lean4

lean4: 4.1.0 -> 4.2.0
2023-10-31 06:52:03 -05:00
parent 915a4a16e9 39042adae3
commit a86d2f8be3
1 changed files with 2 additions and 2 deletions
@@ -9,13 +9,13 @@

 stdenv.mkDerivation rec {
  pname = "lean4";
-  version = "4.1.0";
+  version = "4.2.0";

  src = fetchFromGitHub {
    owner = "leanprover";
    repo = "lean4";
    rev = "v${version}";
-    hash = "sha256-6qbCafG0bL5KxQt2gL6hV4PFDsEMM0UXfldeOOqxsaE=";
+    hash = "sha256-56YtHCiNMP5fJoddSokEl0ws06IwetYLer4aLCnujZA=";
  };

  postPatch = ''