foot: 1.13.1 -> 1.14.0

}:

let

  version = "1.13.1";

  version = "1.14.0";

  # 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 = pname;

    rev = version;

    sha256 = "0k0zbh6adwr99y9aazlyvp6s1k8zaq2j6x8kqb8q9a5qjjg56lay";

    sha256 = "1187805pxygyl547w75i4cl37kaw8y8ng11r5qqldv6fm74k31mk";

  };

  depsBuildBuild = [

    # make sure there is _some_ profiling data on all binaries

    ./footclient --version

    ./foot --version

    ./utils/xtgettcap

    ./tests/test-config

    # generate pgo data of wayland independent code

    ./pgo ${stimuliFile} ${stimuliFile} ${stimuliFile}