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