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