--- a/Admin/components/main Sat Oct 02 12:59:16 2021 +0200
+++ b/Admin/components/main Sat Oct 02 17:21:54 2021 +0200
@@ -5,7 +5,7 @@
csdp-6.1.1
cvc4-1.8
e-2.6
-flatlaf-1.2
+flatlaf-1.6
idea-icons-20210508
isabelle_fonts-20210322
isabelle_setup-20210922