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