merged
authorpaulson
Tue, 09 Apr 2019 15:31:14 +0100
changeset 70090 10fe23659be3
parent 70085 23c0dfa39dce (diff)
parent 70089 eca8611201e9 (current diff)
child 70091 70841633b3e1
child 70095 e8f4ce87012b
merged
--- a/Admin/components/components.sha1	Tue Apr 09 15:30:58 2019 +0100
+++ b/Admin/components/components.sha1	Tue Apr 09 15:31:14 2019 +0100
@@ -12,6 +12,7 @@
 97b2491382130a841b3bbaebdcf8720c4d4fb227  bash_process-1.2.2.tar.gz
 9e21f447bfa0431ae5097301d553dd6df3c58218  bash_process-1.2.tar.gz
 a65ce644b6094d41e9f991ef851cf05eff5dd0a9  bib2xhtml-20171221.tar.gz
+4085dd6060a32d7e0d2e3f874c463a9964fd409b  bib2xhtml-20190409.tar.gz
 f92cff635dfba5d4d77f469307369226c868542c  cakeml-2.0.tar.gz
 e7ffe4238b61a3c1ee87aca4421e7a612e09b836  ci-extras-1.tar.gz
 70105fd6fbfd1a868383fc510772b95234325d31  csdp-6.x.tar.gz
--- a/Admin/components/main	Tue Apr 09 15:30:58 2019 +0100
+++ b/Admin/components/main	Tue Apr 09 15:31:14 2019 +0100
@@ -1,6 +1,6 @@
 #main components for everyday use, without big impact on overall build time
 bash_process-1.2.2
-bib2xhtml-20171221
+bib2xhtml-20190409
 csdp-6.x
 cvc4-1.5-4
 e-2.0-2