/gnu/store/vlkp8w8m4z6xzyv1xrqzp7hd215imhjm-ocaml-core-kernel-0.15.0-checkout.drv