# HG changeset patch
# User wenzelm
# Date 1601728345 -7200
# Node ID b86d1e754e78fb9785d8ce565ecd7a4e287fa1c0
# Parent  d3069e7e1175c202dfb5e6cd835686df4fad2bf4
updated component according to "isabelle build_e -V 2.0";
support arm64-linux;

diff -r d3069e7e1175 -r b86d1e754e78 Admin/components/components.sha1
--- 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
diff -r d3069e7e1175 -r b86d1e754e78 Admin/components/main
--- 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