/gnu/store/3mkrd6p96v5sz47rp8igjp4p7azzjh4w-coq-interval-4.3.0-checkout.drv