/gnu/store/7hr28s132j2baqb8j3cwlxrv5wvipl9a-docbook-xml-4.2.drv