diff -r 759d4fb30bfc -r 6a93aaa3ed36 Admin/components/main
--- 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