Unverified Commit 7767a0f2 authored by Mario Rodas's avatar Mario Rodas Committed by GitHub
Browse files

Merge pull request #292202 from marsam/update-lean4 

lean4: 4.5.0 -> 4.6.0
parents 2f2208ac 468b7bae

pkgs/applications/science/logic/lean4/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -10,13 +10,13 @@ 


stdenv.mkDerivation (finalAttrs: {

  pname = "lean4";

  version = "4.5.0";

  version = "4.6.0";



  src = fetchFromGitHub {

    owner = "leanprover";

    repo = "lean4";

    rev = "v${finalAttrs.version}";

    hash = "sha256-KTCTk4Fpbmm7FsUo03tAvenC6HuB3zJGax6iGTwLaXM=";

    hash = "sha256-Anf6uaTFG/c94N7b7HgT5riyOL5xbHeeoYTrrOl2vDA=";

  };



  postPatch = ''