/gnu/store/y3qlsdyvd49bn8x9pr6hlwdlinn5xczn-gmp-6.2.0.tar.xz.drv