foot: 1.17.1 -> 1.17.2

}:

let

  version = "1.17.1";

  version = "1.17.2";

  # 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-B6RhzsOPwczPLJRx3gBFZZvklwx9IwqplRG2vsAPIlg=";

    hash = "sha256-p+qaWHBrUn6YpNyAmQf6XoQyO3degHP5oMN53/9gIr4=";

  };

  separateDebugInfo = true;