anchor.diff:  
     clion = buildClion rec {
       name = "clion-${version}";
  -    version = "2018.1.1"; /* updated by script */
  +    version = "2018.1.2"; /* updated by script */
       description  = "C/C++ IDE. New. Intelligent. Cross-platform";
       license = stdenv.lib.licenses.unfree;
       src = fetchurl {
         url = "https://download.jetbrains.com/cpp/CLion-${version}.tar.gz";
  -      sha256 = "170xgm3dzakvlwxx5kpy4zilq140kzcaxx9g3dm1w0i83g4l5j48"; /* updated by script */
  +      sha256 = "158ydbr0bbzm1nqi4xhrcp6bwk7kmiw78v959h7bxg3y7z55hbwa"; /* updated by script */
       };
       wmClass = "jetbrains-clion";
       update-channel = "CLion_Release"; # channel's id as in http://www.jetbrains.com/updates/updates.xml
  
positive.code: 
    phpstorm = buildPhpStorm rec {
      name = "phpstorm-${version}";
      version = "2017.3.6"; /* 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 = "00g86fggh8wfm02k9wwn33yqmbfr2b1x3vnvyn9gdpycdk46lqgw"; /* updated by script */
      };
      wmClass = "jetbrains-phpstorm";
      update-channel = "PS2017.3";
    };
  
    pycharm-community = buildPycharm rec {
      name = "pycharm-community-${version}";
      version = "2018.1.1"; /* updated by script */
      description = "PyCharm Community Edition";
      license = stdenv.lib.licenses.asl20;
      src = fetchurl {
        url = "https://download.jetbrains.com/python/${name}.tar.gz";
        sha256 = "1s26jczag12p3v3r6fdk02mmg55npzn0mzkmgcvh40fr7q7mq2pr"; /* updated by script */
      };
      wmClass = "jetbrains-pycharm-ce";
      update-channel = "PyCharm_Release";
  
negative.code: 
    pycharm-professional = buildPycharm rec {
      name = "pycharm-professional-${version}";
      version = "2018.1.2"; /* updated by script */
      description = "PyCharm Professional Edition";
      license = stdenv.lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/python/${name}.tar.gz";
        sha256 = "08cfmrrmxs67dc61cvjc0ynzng0hnr2i78fv3m888k4x63cy6mv5"; /* updated by script */
      };
      wmClass = "jetbrains-pycharm";
      update-channel = "PyCharm_Release";
  