--- a/Admin/components/main Wed Sep 30 13:20:33 2020 +0000
+++ b/Admin/components/main Wed Sep 30 13:40:42 2020 +0000
@@ -1,5 +1,5 @@
#main components for everyday use, without big impact on overall build time
-bash_process-1.2.3
+bash_process-1.2.3-1
bib2xhtml-20190409
csdp-6.1-1
cvc4-1.5-5