anchor.diff:          changelog = "https://docs.gradle.org/${version}/release-notes.html";
           downloadPage = "https://gradle.org/next-steps/?version=${version}";
           license = licenses.asl20;
  -        platforms = platforms.unix;
  +        platforms = if (supportedPlatforms != null) then supportedPlatforms else platforms.unix;
           maintainers = with maintainers; [ lorenzleutgeb liff ];
         };
       };
  
positive.code:     nativeVersion = "0.22-milestone-20";
      sha256 = "13qyk3f6namw27ynh6nxljxpk9r3l12vxl3f0qpglprdf3c6ydcb";
      defaultJava = jdk11;
    };
  
    # NOTE: No GitHub Release for the following versions. `update.sh` will not work.
  
negative.code: rec {
    gen =
  
      { version, nativeVersion, sha256, defaultJava ? jdk8, supportedPlatforms ? null }:
  
      { lib, stdenv, fetchurl, makeWrapper, unzip, java ? defaultJava
      , javaToolchains ? [ ], ncurses5, ncurses6 }:
  