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.
update to jdk-17.0.5 (Oct-2022);
authorwenzelm
Fri, 25 Nov 2022 20:39:25 +0100
changeset 76535 f3ebb16b5785
parent 76534 69139cc01ba1
child 76536 80dc20ffd31b
update to jdk-17.0.5 (Oct-2022);
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Fri Nov 25 20:18:10 2022 +0100
+++ b/Admin/components/components.sha1	Fri Nov 25 20:39:25 2022 +0100
@@ -178,6 +178,7 @@
 85707cfe369d0d32accbe3d96a0730c87e8639b5 jdk-17.0.1+12.tar.gz
 699ab2d723b2f1df151a7dbcbdf33ddad36c7978 jdk-17.0.2+8.tar.gz
 260f5e03e8fc7185f7987a6d2961a23abdce6a0b jdk-17.0.4.1+1.tar.gz
+8f417fcbe5d0fef3a958aeb9740499230aa00046 jdk-17.0.5.tar.gz
 8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz
 38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz
 d765bc4ad2f34d494429b2a8c1563c49db224944 jdk-7u13.tar.gz
--- a/Admin/components/main	Fri Nov 25 20:18:10 2022 +0100
+++ b/Admin/components/main	Fri Nov 25 20:39:25 2022 +0100
@@ -13,7 +13,7 @@
 idea-icons-20210508
 isabelle_fonts-20211004
 isabelle_setup-20221028
-jdk-17.0.4.1+1
+jdk-17.0.5
 jedit-20211103
 jfreechart-1.5.3
 jortho-1.0-2
isabelle