# HG changeset patch # User wenzelm # Date 1516723492 -3600 # Node ID 59527ee2d6dad3a2dda255b2397297c74982a0f2 # Parent 982f0bf34804a496466d5a765cae3be70efa63d6 updated to jdk-8u162; diff -r 982f0bf34804 -r 59527ee2d6da Admin/components/components.sha1 --- a/Admin/components/components.sha1 Tue Jan 23 16:37:57 2018 +0100 +++ b/Admin/components/components.sha1 Tue Jan 23 17:04:52 2018 +0100 @@ -87,6 +87,7 @@ 51531a3a0c16e180ed95cb7d2bd680c2ec0aa553 jdk-8u131.tar.gz e45edcf184f608d6f4a7b966d65a5d3289462693 jdk-8u144.tar.gz 264e806b9300a4fb3b6e15ba0e2c664d4ea698c8 jdk-8u152.tar.gz +84b04d877a2ea3a4e2082297b540e14f76722bc5 jdk-8u162.tar.gz cfecb1383faaf027ffbabfcd77a0b6a6521e0969 jdk-8u20.tar.gz 44ffeeae219782d40ce6822b580e608e72fd4c76 jdk-8u31.tar.gz 4132cf52d5025bf330d53b96a5c6466fef432377 jdk-8u51.tar.gz diff -r 982f0bf34804 -r 59527ee2d6da Admin/components/main --- a/Admin/components/main Tue Jan 23 16:37:57 2018 +0100 +++ b/Admin/components/main Tue Jan 23 17:04:52 2018 +0100 @@ -5,7 +5,7 @@ cvc4-1.5-3 e-2.0-1 isabelle_fonts-20180113 -jdk-8u152 +jdk-8u162 jedit_build-20170319 jfreechart-1.0.14-1 jortho-1.0-2