/gnu/store/1cy9hmkg58csg76ra9y52yphhgrid3wl-coq-interval-4.3.0-checkout.drv