anchor.diff:  
     pycharm-professional = buildPycharm rec {
       name = "pycharm-professional-${version}";
  -    version = "2020.1.2"; /* updated by script */
  +    version = "2020.1.3"; /* updated by script */
       description = "PyCharm Professional Edition";
       license = stdenv.lib.licenses.unfree;
       src = fetchurl {
         url = "https://download.jetbrains.com/python/${name}.tar.gz";
  -      sha256 = "1ysj00qbn5ik6i5953b9mln4g456fmn3phdln9m5jmcb0126y235"; /* updated by script */
  +      sha256 = "1ag8jrfs38f0q11pyil4pvddi8lv46b0jxd3mcbmidn3p1z29f9x"; /* updated by script */
       };
       wmClass = "jetbrains-pycharm";
       update-channel = "PyCharm RELEASE";
  
positive.code: 
    phpstorm = buildPhpStorm rec {
      name = "phpstorm-${version}";
      version = "2020.1.2"; /* updated by script */
      description = "Professional IDE for Web and PHP developers";
      license = stdenv.lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/webide/PhpStorm-${version}.tar.gz";
        sha256 = "00c8vlp125j56v9g9d4rc5g4dhgvl1bhi6qrzvpaf6x77jbq4fv4"; /* updated by script */
      };
      wmClass = "jetbrains-phpstorm";
      update-channel = "PhpStorm RELEASE";
  
negative.code: 
    ruby-mine = buildRubyMine rec {
      name = "ruby-mine-${version}";
      version = "2020.1.3"; /* updated by script */
      description = "The Most Intelligent Ruby and Rails IDE";
      license = stdenv.lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/ruby/RubyMine-${version}.tar.gz";
        sha256 = "1z6z2c31aq29hzi1cifc77zz9vnw48h2jvw4w61lvgskcnzrw9vn"; /* updated by script */
      };
      wmClass = "jetbrains-rubymine";
      update-channel = "RubyMine RELEASE";
  