/gnu/store/jyl509vghj3lr5fd30w6c3slvd726aiv-coq-coquelicot-3.1.0-checkout.drv