/gnu/store/2cqy5f66n7qwhdnc5ibc0qkvbsnx1r7n-ocaml-qcheck-0.12-checkout.drv