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