foot: 1.19.0 -> 1.20.0

}:

let

  version = "1.19.0";

  version = "1.20.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 = "foot";

    rev = version;

    hash = "sha256-EY6VNrAxqA20RHLqfusbdxJPfEE7Fchi1W0noHfbxws=";

    hash = "sha256-bvU8A2y/9ETqgFtBUZ5wp0dXybTCLl32yY/BB6r/pd8=";

  };

  separateDebugInfo = true;