| changeset 83343 | ee3a09458665 |
| parent 82968 | b2b88d5b01b6 |
--- a/src/Pure/Admin/component_jdk.scala Wed Oct 22 21:39:41 2025 +0200 +++ b/src/Pure/Admin/component_jdk.scala Wed Oct 22 21:56:50 2025 +0200 @@ -33,8 +33,8 @@ /* build jdk */ val default_base_url = "https://cdn.azul.com/zulu/bin" - val default_jdk_version = "21.0.8" - val default_zulu_version = "21.44.17-ca" + val default_jdk_version = "21.0.9" + val default_zulu_version = "21.46.19-ca" def build_jdk( target_dir: Path = Path.current,