/gnu/store/ckljswycbvhqpj8llbllkl7gypyb3si3-coq-interval-4.3.0-checkout.drv