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