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.
provide jdk-11.0.10+9.tar.gz LTS for testing (inactive);
authorwenzelm
Sun, 24 Jan 2021 21:51:00 +0100
changeset 73187 9e967acf8f0f
parent 73182 a8a8bc42d552
child 73188 6e7ac8cefe57
provide jdk-11.0.10+9.tar.gz LTS for testing (inactive);
Admin/components/components.sha1 file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Sun Jan 24 17:39:29 2021 +0100
+++ b/Admin/components/components.sha1	Sun Jan 24 21:51:00 2021 +0100
@@ -107,6 +107,7 @@
 dabcf5085d67c99159007007ff0e9bf775e423d1  isabelle_fonts-20190409.tar.gz
 76827987c70051719e117138858930d42041f57d  isabelle_fonts-20190717.tar.gz
 0b2206f914336dec4923dd0479d8cee4b904f544  jdk-11+28.tar.gz
+e12574d838ed55ef2845acf1152329572ab0cc56  jdk-11.0.10+9.tar.gz
 3e05213cad47dbef52804fe329395db9b4e57f39  jdk-11.0.2+9.tar.gz
 06ac8993b5bebd02c70f1bd18ce13075f01115f3  jdk-11.0.3+7.tar.gz
 e7e3cc9b0550c1e5d71197ad8c30f92b622d7183  jdk-11.0.4+11.tar.gz
isabelle