/gnu/store/8n0sqsi1sp3hr52qsv616cqdd5va44lj-ocaml-core-kernel-0.15.0-checkout.drv