/gnu/store/a70sx9lxaxr4c5nvdl454b77dimjgdcm-coq-core-8.15.1-checkout.drv