1.1 --- a/etc/components	Tue Sep 03 15:24:39 2019 +0200
     1.2 +++ b/etc/components	Tue Sep 03 16:10:31 2019 +0200
     1.3 @@ -10,24 +10,26 @@
     1.4  src/HOL/Tools/ATP
     1.5  src/HOL/TPTP
     1.6  #bundled components
     1.7 -contrib/bash_process-1.2.2
     1.8 -contrib/bib2xhtml-20171221
     1.9 +contrib/bash_process-1.2.3
    1.10 +contrib/bib2xhtml-20190409
    1.11  contrib/csdp-6.x
    1.12 -contrib/cvc4-1.5-4
    1.13 +contrib/cvc4-1.5-5
    1.14  contrib/e-2.0-2
    1.15 -contrib/isabelle_fonts-20180113
    1.16 -contrib/jdk
    1.17 +contrib/isabelle_fonts-20190409
    1.18 +contrib/jdk-11.0.3+7
    1.19  contrib/jfreechart-1.5.0
    1.20  contrib/jortho-1.0-2
    1.21  contrib/kodkodi-1.5.2-1
    1.22  contrib/nunchaku-0.5
    1.23 -contrib/polyml-5.7.1-8
    1.24 -contrib/postgresql-42.2.2
    1.25 -contrib/scala-2.12.6
    1.26 +contrib/opam-2.0.3-1
    1.27 +contrib/polyml-5.8
    1.28 +contrib/postgresql-42.2.5
    1.29 +contrib/scala-2.12.7
    1.30  contrib/smbc-0.4.1
    1.31 -contrib/ssh-java-20161009
    1.32  contrib/spass-3.8ds-1
    1.33 -contrib/sqlite-jdbc-3.23.1
    1.34 +contrib/sqlite-jdbc-3.27.2.1
    1.35 +contrib/ssh-java-20190323
    1.36 +contrib/stack-1.9.3
    1.37  contrib/vampire-4.2.2
    1.38  contrib/xz-java-1.8
    1.39 -contrib/z3-4.4.0pre-2
    1.40 +contrib/z3-4.4.0pre-3