anchor.diff:  
     ruby-mine = buildRubyMine rec {
       name = "ruby-mine-${version}";
  -    version = "2020.1.1"; /* updated by script */
  +    version = "2020.1.2"; /* 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 = "0xhx3n2xdk0k0qx7hdiyfga16hjf2j95k219wh7mh0cys20hkrg8"; /* updated by script */
  +      sha256 = "1ycwml7fyhjajjfy1fhggmx0mcdcjidkxll7357rv2z51r0yhc9h"; /* updated by script */
       };
       wmClass = "jetbrains-rubymine";
       update-channel = "RubyMine RELEASE";
  
positive.code: 
    phpstorm = buildPhpStorm rec {
      name = "phpstorm-${version}";
      version = "2020.1.1"; /* 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 = "16gclbczd9czqhply0xb2ykv0bw4bgv85fihy1n2szc4rp643qdw"; /* updated by script */
      };
      wmClass = "jetbrains-phpstorm";
      update-channel = "PhpStorm RELEASE";
  
negative.code: 
    idea-ultimate = buildIdea rec {
      name = "idea-ultimate-${version}";
      version = "2020.1.2"; /* updated by script */
      description = "Integrated Development Environment (IDE) by Jetbrains, requires paid license";
      license = stdenv.lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/idea/ideaIU-${version}-no-jbr.tar.gz";
        sha256 = "13qj8n5daz0z0pjizyfsvbbr1gxp5479ar3a68ygi0vrpmbdbssd"; /* updated by script */
      };
      wmClass = "jetbrains-idea";
      update-channel = "IntelliJ IDEA RELEASE";
  