foot: 1.14.0 -> 1.15.0

}:

let

  version = "1.14.0";

  version = "1.15.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

    src = fetchurl {

      url = "https://codeberg.org/dnkl/foot/raw/tag/${version}/scripts/generate-alt-random-writes.py";

      sha256 = "0w4d0rxi54p8lvbynypcywqqwbbzmyyzc0svjab27ngmdj1034ii";

      hash = "sha256-NvkKJ75n/OzgEd2WHX1NQIXPn9R0Z+YI1rpFmNxaDhk=";

    };

    dontUnpack = true;

    owner = "dnkl";

    repo = pname;

    rev = version;

    sha256 = "1187805pxygyl547w75i4cl37kaw8y8ng11r5qqldv6fm74k31mk";

    hash = "sha256-ji0e5E2yy0wYbzw38nuQRoRcd83FsJh6E5TabtUP1g8=";

  };

  depsBuildBuild = [