/gnu/store/4r300l2d2cj2xwlzcgsyylvhpxhix7kg-coq-core-8.14.1-checkout.drv