changeset 80131 | 68fc6839679e |
parent 79556 | 0631dfc0db07 |
--- a/src/Pure/Admin/component_jdk.scala Wed Apr 17 21:20:31 2024 +0200 +++ b/src/Pure/Admin/component_jdk.scala Wed Apr 17 23:12:21 2024 +0200 @@ -33,8 +33,8 @@ /* build jdk */ val default_base_url = "https://cdn.azul.com/zulu/bin" - val default_jdk_version = "21.0.2" - val default_zulu_version = "21.32.17-ca" + val default_jdk_version = "21.0.3" + val default_zulu_version = "21.34.19-ca" def build_jdk( target_dir: Path = Path.current,