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