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