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