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