diff -r 981df2e1f646 -r 328392479308 Admin/components/main
--- a/Admin/components/main	Thu Apr 22 22:07:05 2021 +0200
+++ b/Admin/components/main	Thu Apr 22 22:55:41 2021 +0200
@@ -1,6 +1,6 @@
 #main components for everyday use, without big impact on overall build time
 gnu-utils-20210414
-bash_process-1.2.4
+bash_process-1.2.4-1
 bib2xhtml-20190409
 csdp-6.1.1
 cvc4-1.8