greenfoot: 3.8.2 -> 3.9.0 (#396465)

pkgs/applications/editors/greenfoot/default.nix

@@ -10,16 +10,16 @@
 
 stdenv.mkDerivation rec {
   pname = "greenfoot";
-  version = "3.8.2";
+  version = "3.9.0";
 
   src = fetchurl {
     # We use the deb here. First instinct might be to go for the "generic" JAR
     # download, but that is actually a graphical installer that is much harder
     # to unpack than the deb.
-    url = "https://www.greenfoot.org/download/files/Greenfoot-linux-${
+    url = "https://www.greenfoot.org/download/files/Greenfoot-linux-arm64-${
       builtins.replaceStrings [ "." ] [ "" ] version
     }.deb";
-    hash = "sha256-wpmgWtx2jTDjt+7p6HcjU/uy1PRmnAHpJ1rOYb+hV+U=";
+    hash = "sha256-d5bkK+teTA4fxFb46ovbZE28l8WILGStv3Vg3nJZfv0=";
   };
 
   nativeBuildInputs = [

pkgs/top-level/all-packages.nix

@@ -14137,9 +14137,9 @@ with pkgs;
   evilpixie = libsForQt5.callPackage ../applications/graphics/evilpixie { };
 
   greenfoot = callPackage ../applications/editors/greenfoot {
-    openjdk = openjdk17.override {
+    openjdk = openjdk21.override {
       enableJavaFX = true;
-      openjfx_jdk = openjfx17.override { withWebKit = true; };
+      openjfx_jdk = openjfx21.override { withWebKit = true; };
     };
   };