Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated to jdk-17.0.1+12;
authorwenzelm
Mon, 01 Nov 2021 14:58:04 +0100
changeset 74649 b04a820c345e
parent 74648 d1117655110c
child 74650 e911be103066
updated to jdk-17.0.1+12;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Mon Nov 01 11:52:24 2021 +0100
+++ b/Admin/components/components.sha1	Mon Nov 01 14:58:04 2021 +0100
@@ -157,6 +157,7 @@
 72455a2fdb6cced9cd563f4d5d6134f7a6c34913  jdk-15.0.1+9.tar.gz
 e8ae300e61b0b121018456d50010b555bc96ce10  jdk-15.0.2+7.tar.gz
 a426a32ad34014953c0f7d4cc6f44199572e1c38  jdk-17+35.tar.gz
+85707cfe369d0d32accbe3d96a0730c87e8639b5  jdk-17.0.1+12.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c  jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6  jdk-7u11.tar.gz
 d765bc4ad2f34d494429b2a8c1563c49db224944  jdk-7u13.tar.gz
--- a/Admin/components/main	Mon Nov 01 11:52:24 2021 +0100
+++ b/Admin/components/main	Mon Nov 01 14:58:04 2021 +0100
@@ -9,7 +9,7 @@
 idea-icons-20210508
 isabelle_fonts-20211004
 isabelle_setup-20210922
-jdk-17+35
+jdk-17.0.1+12
 jedit-20211019
 jfreechart-1.5.3
 jortho-1.0-2
isabelle