anchor.diff:      owner = "dnkl";
       repo = pname;
       rev = version;
  -    sha256 = "14jqs4sarxbrgi5pxz0afqa9jxq90cb5ayqd21qj2n65whqa5bpk";
  +    sha256 = "0cc262jpqp8l25p04pcqh3w671gw0p1d2zrr3d34ch8k9c6s4nzq";
     };
   
     depsBuildBuild = [
  
positive.code:     "-Ddefault-terminfo=foot"
      # Tell foot to set TERMINFO and where to install the terminfo files
      "-Dcustom-terminfo-install-location=${terminfoDir}"
    ];
  
    # build and run binary generating PGO profiles,
  
negative.code: }:
  
  let
    version = "1.13.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
  