summaryrefslogtreecommitdiff
path: root/gnu/packages/java.scm
diff options
context:
space:
mode:
authorGreg Hogan <code@greghogan.com>2022-12-12 21:19:33 +0000
committerEfraim Flashner <efraim@flashner.co.il>2022-12-20 17:06:37 +0200
commit8a6316ef9ea9e993f0c46cbda2a9ae2aaf26a4d2 (patch)
tree392a7593c7025ef38d4f246f7f55e273bc79ee39 /gnu/packages/java.scm
parentc8ebfa0dd9514affbc30ca56f9f8cce0fc7550dc (diff)
gnu: openjdk13: Update to 13.0.13.
* gnu/packages/java.scm (openjdk13): Update to 13.0.13. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
Diffstat (limited to 'gnu/packages/java.scm')
-rw-r--r--gnu/packages/java.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm
index e06020eedf..e71c70753d 100644
--- a/gnu/packages/java.scm
+++ b/gnu/packages/java.scm
@@ -2100,8 +2100,8 @@ blacklisted.certs.pem"
"#! java BlacklistedCertsConverter SHA-256\n"))))))))))
(define-public openjdk13
- (make-openjdk openjdk12 "13.0.7"
- "0wrrr0d7lz1v8qqm752mn4gz5l2vpl2kmx4ac3ysvk4mljc924hp"))
+ (make-openjdk openjdk12 "13.0.13"
+ "0pxf4dlig61k0pg7amg4mi919hzam7nzwckry01avgq1wj8ambji"))
(define-public openjdk14
(make-openjdk