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