/gnu/store/83ig3603vds1sp6wfvd2d7gb0cma0g7f-ocaml4.07-core-kernel-0.11.1-checkout.drv