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