--- a/Admin/components/main Fri Oct 09 11:28:12 2020 +0200
+++ b/Admin/components/main Fri Oct 09 11:44:27 2020 +0200
@@ -3,7 +3,7 @@
bib2xhtml-20190409
csdp-6.1-1
cvc4-1.5-5
-e-2.0-4
+e-2.0-5
isabelle_fonts-20190717
jdk-11.0.5+10
jedit_build-20200908