Unverified Commit 036b8bdb authored by Ryan Lahfa's avatar Ryan Lahfa Committed by GitHub
Browse files

lean4: 4.26 -> 4.27 (#483315)

parents 5dcf2e10 7f4e8517

pkgs/by-name/le/lean4/package.nix

+2 −2
Original line number Diff line number Diff line
@@ -15,7 +15,7 @@ 


stdenv.mkDerivation (finalAttrs: {

  pname = "lean4";

  version = "4.26.0";

  version = "4.27.0";



  # Using a vendored version rather than nixpkgs' version to match the exact version required by

  # Lean.  Apparently, even a slight version change can impact greatly the final performance.
@@ -30,7 +30,7 @@ stdenv.mkDerivation (finalAttrs: { 
    owner = "leanprover";

    repo = "lean4";

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

    hash = "sha256-KDHE2RX1H+QKojrOUbJjIiKlv2kCvAwp4H8V81tDHbQ=";

    hash = "sha256-nxAznaWQEilzn93SZTKLKL7TZEPD5LRcJLFmgoCWsXA=";

  };



  postPatch =