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