# HG changeset patch
# User wenzelm
# Date 1619124941 -7200
# Node ID 32839247930844ed8d4ecc3fac87a924b8b38ef8
# Parent  981df2e1f646daa630b0d78e58205614116e91aa
rebuild executable for x86_64-darwin;

diff -r 981df2e1f646 -r 328392479308 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Thu Apr 22 22:07:05 2021 +0200
+++ b/Admin/components/components.sha1	Thu Apr 22 22:55:41 2021 +0200
@@ -13,6 +13,7 @@
 97b2491382130a841b3bbaebdcf8720c4d4fb227  bash_process-1.2.2.tar.gz
 5c5b7c18cc1dc2a4d22b997dac196da09eaca868  bash_process-1.2.3-1.tar.gz
 48b01bd9436e243ffcb7297f08b498d0c0875ed9  bash_process-1.2.3.tar.gz
+11815d5f3af0de9022e903ed8702c136591f06fe  bash_process-1.2.4-1.tar.gz
 7ae9ec8aab2d8a811842d9dc67d8bf6c179e11ee  bash_process-1.2.4.tar.gz
 9e21f447bfa0431ae5097301d553dd6df3c58218  bash_process-1.2.tar.gz
 a65ce644b6094d41e9f991ef851cf05eff5dd0a9  bib2xhtml-20171221.tar.gz
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