changeset 73600 | 328392479308 |
parent 73599 | 981df2e1f646 |
child 73635 | 3531d20cf2fd |
--- 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