1.1 --- a/etc/components	Wed Sep 23 15:01:00 2020 +0200
     1.2 +++ b/etc/components	Wed Sep 23 15:18:07 2020 +0200
     1.3 @@ -12,24 +12,24 @@
     1.4  #bundled components
     1.5  contrib/bash_process-1.2.3
     1.6  contrib/bib2xhtml-20190409
     1.7 -contrib/csdp-6.x
     1.8 +contrib/csdp-6.1-1
     1.9  contrib/cvc4-1.5-5
    1.10 -contrib/e-2.0-2
    1.11 -contrib/isabelle_fonts-20190409
    1.12 -contrib/jdk-11.0.3+7
    1.13 +contrib/e-2.0-3
    1.14 +contrib/isabelle_fonts-20190717
    1.15 +contrib/jdk-11.0.5+10
    1.16  contrib/jfreechart-1.5.0
    1.17  contrib/jortho-1.0-2
    1.18  contrib/kodkodi-1.5.2-1
    1.19  contrib/nunchaku-0.5
    1.20 -contrib/opam-2.0.3-1
    1.21 -contrib/polyml-5.8
    1.22 -contrib/postgresql-42.2.5
    1.23 -contrib/scala-2.12.7
    1.24 +contrib/opam-2.0.6
    1.25 +contrib/polyml-5.8.1-20200228
    1.26 +contrib/postgresql-42.2.9
    1.27 +contrib/scala-2.12.10
    1.28  contrib/smbc-0.4.1
    1.29  contrib/spass-3.8ds-1
    1.30 -contrib/sqlite-jdbc-3.27.2.1
    1.31 +contrib/sqlite-jdbc-3.30.1
    1.32  contrib/ssh-java-20190323
    1.33 -contrib/stack-1.9.3
    1.34 +contrib/stack-2.1.3
    1.35  contrib/vampire-4.2.2
    1.36  contrib/xz-java-1.8
    1.37  contrib/z3-4.4.0pre-3