anchor.diff:  
     idea-community = buildIdea rec {
       name = "idea-community-${version}";
  -    version = "2017.3"; /* updated by script */
  +    version = "2017.3.2";
       description = "Integrated Development Environment (IDE) by Jetbrains, community edition";
       license = stdenv.lib.licenses.asl20;
       src = fetchurl {
         url = "https://download.jetbrains.com/idea/ideaIC-${version}.tar.gz";
  -      sha256 = "04qp37pv4z6d9gw6j56m4zfxw4v2cydk8w7jzyzrcg52jr064kwi"; /* updated by script */
  +      sha256 = "70cc4f36a6517c7af980456758214414ea74c5c4f314ecf30dd2640600badd62"; /* updated by script */
       };
       wmClass = "jetbrains-idea-ce";
       update-channel = "IDEA_Release";
  
positive.code: 
    idea-ultimate = buildIdea rec {
      name = "idea-ultimate-${version}";
      version = "2017.3"; /* 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 = "0w9ihi6vzgfiav2qia7d7vrn14k8v56npir0dyx7ii8an887s7ws"; /* updated by script */
      };
      wmClass = "jetbrains-idea";
      update-channel = "IDEA_Release";
  
negative.code: 
    pycharm-community = buildPycharm rec {
      name = "pycharm-community-${version}";
      version = "2017.3.2"; /* updated by script */
      description = "PyCharm Community Edition";
      license = stdenv.lib.licenses.asl20;
      src = fetchurl {
        url = "https://download.jetbrains.com/python/${name}.tar.gz";
        sha256 = "1xp4hva2wj2r3haqwmji4vpg6xm9fsx2xihslwmq89vfrbzybyq6"; /* updated by script */
      };
      wmClass = "jetbrains-pycharm-ce";
      update-channel = "PyCharm_Release";
  