/gnu/store/64bbszhqki2408l2pp1wfvrhwscaz7hk-coq-coquelicot-3.1.0-checkout.drv