# HG changeset patch
# User wenzelm
# Date 1713984095 -7200
# Node ID acfe36d6cb05e5cbf5aa6c78c90a18a4379fe4db
# Parent  273a8fa8a44ea50aa6bd70c0977a4b0d32aa9b09
update to e-3.0.03-1, with proper support for trivial statements;

diff -r 273a8fa8a44e -r acfe36d6cb05 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Apr 24 20:05:25 2024 +0200
+++ b/Admin/components/components.sha1	Wed Apr 24 20:41:35 2024 +0200
@@ -98,6 +98,7 @@
 813b66ca151d7a39b5cacb39ab52acabc2a54845 e-2.5.tar.gz
 6e63f9f354b8c06035952845b987080699a12d55 e-2.6-1.tar.gz
 a3bebab5df4294dac2dd7fd2065a94df00e0b3ff e-2.6.tar.gz
+8744880925dbc95c3977f58b7d6da64a3bd6de6a e-3.0.03-1.tar.gz
 230d01c2c7274a17b6410535eb41665b16b41ae6 e-3.0.03.tar.gz
 239e7b8bebbfc29a1c5151e8fb261ffad44877f1 easychair-3.5.tar.gz
 4a3b4b4e0441c4498a0c71dc348f3538be589a15 eptcs-1.7.0.tar.gz
diff -r 273a8fa8a44e -r acfe36d6cb05 Admin/components/main
--- a/Admin/components/main	Wed Apr 24 20:05:25 2024 +0200
+++ b/Admin/components/main	Wed Apr 24 20:41:35 2024 +0200
@@ -4,7 +4,7 @@
 bib2xhtml-20190409
 csdp-6.1.1
 cvc4-1.8
-e-3.0.03
+e-3.0.03-1
 easychair-3.5
 eptcs-1.7.0
 flatlaf-2.6