/gnu/store/jpxlhdisvs89r1kz52m0b60600csjh95-docbook-xml-4.1.2.drv