| changeset 73635 | 3531d20cf2fd |
| parent 73600 | 328392479308 |
| child 73643 | 9b4579e5bced |
--- a/Admin/components/main Thu May 06 20:43:12 2021 +0200 +++ b/Admin/components/main Thu May 06 20:54:34 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-1 +bash_process-1.2.4-2 bib2xhtml-20190409 csdp-6.1.1 cvc4-1.8