Unverified Commit 85e0d606 authored by Mario Rodas's avatar Mario Rodas Committed by GitHub
Browse files

Merge pull request #257422 from marsam/update-lean4 

lean4: 4.0.0 -> 4.1.0
parents afec8333 3fc0d134

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

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


stdenv.mkDerivation rec {

  pname = "lean4";

  version = "4.0.0";

  version = "4.1.0";



  src = fetchFromGitHub {

    owner = "leanprover";

    repo = "lean4";

    rev = "v${version}";

    hash = "sha256-3Ni+NiD0iSsOruUyRpBd+aC0TZNYfOLhwqCpPHPruPg=";

    hash = "sha256-6qbCafG0bL5KxQt2gL6hV4PFDsEMM0UXfldeOOqxsaE=";

  };



  postPatch = ''