/gnu/store/rmcdylmrzn1k3q4ndlyik28qnmlrnffx-gmp-6.2.0.drv