# HG changeset patch
# User wenzelm
# Date 1583332682 -3600
# Node ID a57413dd2909cc2150645168595ee60c332d101c
# Parent  ce1222e9451ec2029d24702d612325b4dacc00a5
rebuild x86_64-linux on Ubuntu 14.04.6 LTS;
rebuild x86_64-cygwin on cygwin-20200116;

diff -r ce1222e9451e -r a57413dd2909 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Tue Mar 03 20:14:48 2020 +0100
+++ b/Admin/components/components.sha1	Wed Mar 04 15:38:02 2020 +0100
@@ -63,6 +63,7 @@
 c11b25c919e2ec44fe2b6ac2086337b456344e97  e-1.8.tar.gz
 a895a96ec7e6fcc275114bb9b4c92b20fac73dba  e-2.0-1.tar.gz
 2ebd7e3067a2cdae3cb8b073345827013978d74b  e-2.0-2.tar.gz
+fac44556dd16f666a2c186be30aa6d8c67228bb9  e-2.0-3.tar.gz
 6b962a6b4539b7ca4199977973c61a8c98a492e8  e-2.0.tar.gz
 6d34b18ca0aa1e10bab6413045d079188c0e2dfb  exec_process-1.0.1.tar.gz
 8b9bffd10e396d965e815418295f2ee2849bea75  exec_process-1.0.2.tar.gz
diff -r ce1222e9451e -r a57413dd2909 Admin/components/main
--- a/Admin/components/main	Tue Mar 03 20:14:48 2020 +0100
+++ b/Admin/components/main	Wed Mar 04 15:38:02 2020 +0100
@@ -3,7 +3,7 @@
 bib2xhtml-20190409
 csdp-6.1-1
 cvc4-1.5-5
-e-2.0-2
+e-2.0-3
 isabelle_fonts-20190717
 jdk-11.0.6+10
 jedit_build-20190717