anchor.diff:  
     phpstorm = buildPhpStorm rec {
       name = "phpstorm-${version}";
  -    version = "2021.3"; /* updated by script */
  +    version = "2021.3.1"; /* updated by script */
       description = "Professional IDE for Web and PHP developers";
       license = lib.licenses.unfree;
       src = fetchurl {
         url = "https://download.jetbrains.com/webide/PhpStorm-${version}.tar.gz";
  -      sha256 = "1h3ld3swvvx8hicm5lpf65mr7asiqy59hvqnigz71hbjgqnsb8g0"; /* updated by script */
  +      sha256 = "011i3jgfnb2h64ikbm3wi1vfhzm50mwwy9nksl71nzllj3kz111x"; /* updated by script */
       };
       wmClass = "jetbrains-phpstorm";
       update-channel = "PhpStorm RELEASE";
  
positive.code: 
    pycharm-professional = buildPycharm rec {
      name = "pycharm-professional-${version}";
      version = "2021.3"; /* updated by script */
      description = "PyCharm Professional Edition";
      license = lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/python/${name}.tar.gz";
        sha256 = "0z6dnigx616939azyngjy5r4gayazplkgq480k80ppmkw636yhl1"; /* updated by script */
      };
      wmClass = "jetbrains-pycharm";
      update-channel = "PyCharm RELEASE";
  
negative.code: 
    datagrip = buildDataGrip rec {
      name = "datagrip-${version}";
      version = "2021.3.3"; /* updated by script */
      description = "Your Swiss Army Knife for Databases and SQL";
      license = lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/datagrip/${name}.tar.gz";
        sha256 = "0wbr7hjbj9zvxn4j7nrp7sdzjk78hcg7ssz430y35x9isfiqv5py"; /* updated by script */
      };
      wmClass = "jetbrains-datagrip";
      update-channel = "DataGrip RELEASE";
  