/gnu/store/2njj5xryn41bbgcv2pc4ri712jg9jg9s-coq-coquelicot-3.1.0-checkout.drv