/gnu/store/049d771cs4gh8dxkgjb5bw3ymxwz7s7n-ocaml4.07-core-kernel-0.11.1-checkout.drv