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