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