--- a/Admin/components/components.sha1 Sat Oct 03 14:06:00 2020 +0200
+++ b/Admin/components/components.sha1 Sat Oct 03 14:32:25 2020 +0200
@@ -67,6 +67,7 @@
a895a96ec7e6fcc275114bb9b4c92b20fac73dba e-2.0-1.tar.gz
2ebd7e3067a2cdae3cb8b073345827013978d74b e-2.0-2.tar.gz
fac44556dd16f666a2c186be30aa6d8c67228bb9 e-2.0-3.tar.gz
+5d36fb62912cfcff7f3b99a6266c578aafc288b7 e-2.0-4.tar.gz
6b962a6b4539b7ca4199977973c61a8c98a492e8 e-2.0.tar.gz
6d34b18ca0aa1e10bab6413045d079188c0e2dfb exec_process-1.0.1.tar.gz
8b9bffd10e396d965e815418295f2ee2849bea75 exec_process-1.0.2.tar.gz
--- a/Admin/components/main Sat Oct 03 14:06:00 2020 +0200
+++ b/Admin/components/main Sat Oct 03 14:32:25 2020 +0200
@@ -3,7 +3,7 @@
bib2xhtml-20190409
csdp-6.1-1
cvc4-1.5-5
-e-2.0-3
+e-2.0-4
isabelle_fonts-20190717
jdk-11.0.5+10
jedit_build-20200908