--- a/Admin/components/main Thu Nov 25 12:36:54 2021 +0100
+++ b/Admin/components/main Thu Nov 25 12:48:00 2021 +0100
@@ -5,7 +5,7 @@
csdp-6.1.1
cvc4-1.8
e-2.6-1
-flatlaf-1.6
+flatlaf-1.6.4
idea-icons-20210508
isabelle_fonts-20211004
isabelle_setup-20211109