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