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