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