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