/gnu/store/2ywbr9ihp02yp64msykw57b0gxvica4n-gmp-6.1.2.tar.xz.drv