Merge pull request #303540 from wahjava/update-foot

}:

let

  version = "1.17.0";

  version = "1.17.1";

  # build stimuli file for PGO build and the script to generate it

  # independently of the foot's build, so we can cache the result

    owner = "dnkl";

    repo = "foot";

    rev = version;

    hash = "sha256-H4a9WQox7vD5HsY9PP0nrNDZtyaRFpsphsv8/qstNH8=";

    hash = "sha256-B6RhzsOPwczPLJRx3gBFZZvklwx9IwqplRG2vsAPIlg=";

  };

  separateDebugInfo = true;