--- a/Admin/components/main Thu Dec 21 12:19:24 2017 +0100
+++ b/Admin/components/main Thu Dec 21 16:29:03 2017 +0100
@@ -1,5 +1,6 @@
#main components for everyday use, without big impact on overall build time
bash_process-1.2.2
+bib2xhtml-20171221
csdp-6.x
cvc4-1.5-3
e-2.0-1