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