/gnu/store/xsbwvgvg0rfq6p8pa550yny5bs46nhsg-coq-mathcomp-1.11.0-checkout.drv