/gnu/store/pnxwgvm1jwi989rjxzyi15rfdba9fnpd-coq-8.13.2-checkout.drv