gnu: openjdk19: Update to 19.0.2.

* gnu/packages/java.scm (openjdk19): Update to 19.0.2.
This commit is contained in:
Ricardo Wurmus 2023-06-27 17:03:47 +02:00
parent 2a7ca17068
commit 8e1eeedff6
No known key found for this signature in database
GPG key ID: 197A5888235FACAC

View file

@ -1518,8 +1518,8 @@ (define-public openjdk18
"1yimfdkwpinhg5cf1mcrzk9xvjwnray3cx762kypb9jcwbranjwx")) "1yimfdkwpinhg5cf1mcrzk9xvjwnray3cx762kypb9jcwbranjwx"))
(define-public openjdk19 (define-public openjdk19
(make-openjdk openjdk18 "19.0.1" (make-openjdk openjdk18 "19.0.2"
"0kyalb391znw6idmfn3dsx6c2mal1hl63f0bwa4mlnsxfl380bi1" "08kvx7n8qhhfl25pig966881j5h4x7y0pf4brq16x0283fc0f4d4"
(arguments (arguments
(substitute-keyword-arguments (package-arguments openjdk18) (substitute-keyword-arguments (package-arguments openjdk18)
((#:phases phases) ((#:phases phases)