anchor.diff:  
     pycharm-professional = buildPycharm rec {
       name = "pycharm-professional-${version}";
  -    version = "2017.3"; /* updated by script */
  +    version = "2017.3.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 = "06lh0nxmzn0lsyd6isyb6gf01h4nbksi0f03hwwm6wdfvsfw92pb"; /* updated by script */
  +      sha256 = "0bqavq9f9pg82yh04bpzpb3a36980v2bn70j1ch6gsm3hdd75swv"; /* updated by script */
       };
       wmClass = "jetbrains-pycharm";
       update-channel = "PyCharm_Release";
  
positive.code: 
    webstorm = buildWebStorm rec {
      name = "webstorm-${version}";
      version = "2017.3"; /* updated by script */
      description = "Professional IDE for Web and JavaScript development";
      license = stdenv.lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/webstorm/WebStorm-${version}.tar.gz";
        sha256 = "0whr5zygrbi044pl48ac2w7a4rxldbaqlf76dkfqj83g2wl4n990"; /* updated by script */
      };
      wmClass = "jetbrains-webstorm";
      update-channel = "WS_Release";
  
negative.code: 
    idea-ultimate = buildIdea rec {
      name = "idea-ultimate-${version}";
      version = "2017.3.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-jdk.tar.gz";
        sha256 = "0lygnhn2wbs1678g3jbd3c5yzxnjp106qx7v9kgvb1k6l9mqb3my"; /* updated by script */
      };
      wmClass = "jetbrains-idea";
      update-channel = "IDEA_Release";
  