Merge pull request #271084 from marsam/update-lean4

lean4: 4.2.0 -> 4.3.0
2023-11-30 02:30:54 -05:00
parent 644d9732b1 cbcf0e94ac
commit c462586977
1 changed files with 2 additions and 2 deletions
@@ -9,13 +9,13 @@

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

  src = fetchFromGitHub {
    owner = "leanprover";
    repo = "lean4";
    rev = "v${version}";
-    hash = "sha256-56YtHCiNMP5fJoddSokEl0ws06IwetYLer4aLCnujZA=";
+    hash = "sha256-2F6sibGMG1U5By/aKGluLgkXIlMpZ7m06gVEG2Uz4RQ=";
  };

  postPatch = ''