# HG changeset patch # User wenzelm # Date 1711449136 -3600 # Node ID 7e52091795e885fa65559b2ed9c13fc64c19d7e6 # Parent ee449ca91c3b99b5cedd376eef86d2aff9a6e269 update to bash_process-20240326; diff -r ee449ca91c3b -r 7e52091795e8 Admin/components/components.sha1 --- a/Admin/components/components.sha1 Tue Mar 26 11:15:48 2024 +0100 +++ b/Admin/components/components.sha1 Tue Mar 26 11:32:16 2024 +0100 @@ -20,6 +20,7 @@ 9e21f447bfa0431ae5097301d553dd6df3c58218 bash_process-1.2.tar.gz 351d1ec27061479595abdd52c28ff4c88c87746e bash_process-1.3.1.tar.gz 84246b9b6460296a6f8e8d661643b36719f7834a bash_process-1.3.tar.gz +7a92beb20d92cc71cabc8585d445f390b0749313 bash_process-20240326.tar.gz a65ce644b6094d41e9f991ef851cf05eff5dd0a9 bib2xhtml-20171221.tar.gz 4085dd6060a32d7e0d2e3f874c463a9964fd409b bib2xhtml-20190409.tar.gz f92cff635dfba5d4d77f469307369226c868542c cakeml-2.0.tar.gz diff -r ee449ca91c3b -r 7e52091795e8 Admin/components/main --- 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