--- a/Admin/components/main Tue Mar 26 11:15:48 2024 +0100
+++ b/Admin/components/main Tue Mar 26 11:32:16 2024 +0100
@@ -1,6 +1,6 @@
#main components for repository clones or release bundles
gnu-utils-20211030
-bash_process-1.3.1
+bash_process-20240326
bib2xhtml-20190409
csdp-6.1.1
cvc4-1.8