Merge pull request #287604 from trofi/lean3-mark-broken

{ lib, stdenv, fetchFromGitHub, cmake, gmp, coreutils }:

{ lib, stdenv, fetchFromGitHub, fetchpatch, cmake, gmp, coreutils }:

stdenv.mkDerivation rec {

  pname = "lean";

    hash   = "sha256-Vcsph4dTNLafeaTtVwJS8tWoWCgcP6pxF0ssZDE/YfM=";

  };

  patches = [

    # Fix gcc-13 build failure

    (fetchpatch {

      name = "gcc-13.patch";

      url = "https://github.com/leanprover-community/lean/commit/21d264a66d53b0a910178ae7d9529cb5886a39b6.patch";

      hash = "sha256-hBm2QNFS1jdoR6LUQHLReKxMKv7kbkrkrTGJ43YnvfA=";

    })

  ];

  nativeBuildInputs = [ cmake ];

  buildInputs = [ gmp ];