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