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