Admin/components/main

--- a/Admin/components/main	Mon Oct 31 15:50:13 2022 +0100
+++ b/Admin/components/main	Mon Oct 31 17:10:13 2022 +0100
@@ -6,6 +6,7 @@
 csdp-6.1.1
 cvc4-1.8
 e-2.6-1
+easychair-3.5
 flatlaf-2.4
 idea-icons-20210508
 isabelle_fonts-20211004