anchor.diff:  
     pycharm-community = buildPycharm rec {
       name = "pycharm-community-${version}";
  -    version = "2020.1.2"; /* updated by script */
  +    version = "2020.1.3"; /* updated by script */
       description = "PyCharm Community Edition";
       license = stdenv.lib.licenses.asl20;
       src = fetchurl {
         url = "https://download.jetbrains.com/python/${name}.tar.gz";
  -      sha256 = "1s04b9w7sydix1sjqzmby63nwcvzs6iw28wz7441kxgryl9qg0qw"; /* updated by script */
  +      sha256 = "1290k17nihiih8ipxfqax1xlx320h1vkwbcc5hc50psvpsfgiall"; /* updated by script */
       };
       wmClass = "jetbrains-pycharm-ce";
       update-channel = "PyCharm RELEASE";
  
positive.code: 
    ruby-mine = buildRubyMine rec {
      name = "ruby-mine-${version}";
      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 = "1ycwml7fyhjajjfy1fhggmx0mcdcjidkxll7357rv2z51r0yhc9h"; /* updated by script */
      };
      wmClass = "jetbrains-rubymine";
      update-channel = "RubyMine RELEASE";
  
negative.code: 
    mps = buildMps rec {
      name = "mps-${version}";
      version = "2020.1.2"; /* updated by script */
      description = "Create your own domain-specific language";
      license = stdenv.lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/mps/2020.1/MPS-${version}.tar.gz";
        sha256 = "0ygk31l44bxcv64h6lnqxssmx5prcb5b5xdm3qxmrv7xz1qv59c1"; /* updated by script */
      };
      wmClass = "jetbrains-mps";
      update-channel = "MPS RELEASE";
  