/gnu/store/6dg8dqkf3ms83j2x5bwmqp94ic3za5x1-ocaml-core-kernel-0.15.0-checkout.drv