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