/gnu/store/2h9mck1k67j6shpr5kjkqz2w2gav04cx-coq-coquelicot-3.1.0-checkout.drv