diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2023-06-27 17:03:47 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2023-06-29 12:01:22 +0200 |
| commit | 8e1eeedff66cd6892d95b36c7b102e72c72bfe19 (patch) | |
| tree | bc6026faa52e3d7b69db104695625f719666c920 /gnu/packages/java.scm | |
| parent | 2a7ca170680d107c5f8b8434b4fdc19a6b761691 (diff) | |
gnu: openjdk19: Update to 19.0.2.
* gnu/packages/java.scm (openjdk19): Update to 19.0.2.
Diffstat (limited to 'gnu/packages/java.scm')
| -rw-r--r-- | gnu/packages/java.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm index 48864c78c2..0352e67031 100644 --- a/gnu/packages/java.scm +++ b/gnu/packages/java.scm @@ -1518,8 +1518,8 @@ blacklisted.certs.pem" "1yimfdkwpinhg5cf1mcrzk9xvjwnray3cx762kypb9jcwbranjwx")) (define-public openjdk19 - (make-openjdk openjdk18 "19.0.1" - "0kyalb391znw6idmfn3dsx6c2mal1hl63f0bwa4mlnsxfl380bi1" + (make-openjdk openjdk18 "19.0.2" + "08kvx7n8qhhfl25pig966881j5h4x7y0pf4brq16x0283fc0f4d4" (arguments (substitute-keyword-arguments (package-arguments openjdk18) ((#:phases phases) |