/gnu/store/bhkmz4pjv1gh07gdiky3zpvyk7sprvh4-docbook-xml-4.2.drv