--- a/Admin/components/main Thu Feb 29 17:03:00 2024 +0100
+++ b/Admin/components/main Thu Feb 29 21:06:50 2024 +0100
@@ -1,6 +1,6 @@
#main components for repository clones or release bundles
gnu-utils-20211030
-bash_process-1.3
+bash_process-1.3.1
bib2xhtml-20190409
csdp-6.1.1
cvc4-1.8