/gnu/store/98zxg1ds9q4zbh68kjypm3z01d53sncb-coq-coquelicot-3.1.0-checkout.drv