--- a/Admin/components/main Sun Jul 09 17:41:02 2023 +0200
+++ b/Admin/components/main Mon Jul 10 21:06:53 2023 +0200
@@ -7,7 +7,7 @@
e-2.6-1
easychair-3.5
eptcs-1.7.0
-flatlaf-2.4
+flatlaf-2.6
foiltex-2.1.4b
idea-icons-20210508
isabelle_fonts-20211004