Admin/components/main

--- a/Admin/components/main	Wed Apr 14 14:28:30 2021 +0200
+++ b/Admin/components/main	Wed Apr 14 14:36:13 2021 +0200
@@ -1,11 +1,11 @@
 #main components for everyday use, without big impact on overall build time
+gnu-utils-20210414
 bash_process-1.2.3-1
 bib2xhtml-20190409
 csdp-6.1.1
 cvc4-1.8
 e-2.5-1
 flatlaf-1.0
-gnu-utils-20210414
 isabelle_fonts-20210322
 jdk-15.0.2+7
 jedit_build-20210201