anchor.diff:    name = "tla-toolbox-${version}";
     src = fetchzip {
       url = "https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-${version}-linux.gtk.${arch}.zip";
  -    sha256 = "0lg9sizpw5mkcnwwvmgqigkizjyz2lf1wrg48h7mg7wcv3macy4q";
  +    sha256 = "1mgx4p5qykf9q0p4cp6kcpc7fx8g5f2w1g40kdgas24hqwrgs3cm";
     };
   
     buildInputs = [ makeWrapper  ];
  
positive.code:   installPhase = ''
      mkdir -p "$out/bin"
      cp -r "$src" "$out/toolbox"
      chmod +w "$out/toolbox" "$out/toolbox/toolbox"
  
      patchelf \
        --set-interpreter $(cat $NIX_CC/nix-support/dynamic-linker) \
        "$out/toolbox/toolbox"
  
      makeWrapper $out/toolbox/toolbox $out/bin/tla-toolbox \
        --run "set -x; cd $out/toolbox" \
        --add-flags "-data ~/.tla-toolbox" \
        --prefix PATH : "${jre}/bin" \
        --prefix LD_LIBRARY_PATH : "${lib.makeLibraryPath [ swt gtk libXtst glib ]}"
  
      echo -e "\nCreating TLA Toolbox icons..."
      pushd "$src"
  
negative.code: { lib, fetchzip, makeWrapper, makeDesktopItem, stdenv
  , gtk, libXtst, glib, zlib
  }:
  
  let
    version = "1.6.0";
    arch = "x86_64";
  
    desktopItem = makeDesktopItem rec {
  