/gnu/store/9ycw48rl982qj87kx8yz14l4xfkcz5bq-coq-coquelicot-3.1.0-checkout.drv