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