/gnu/store/gd506q1sxg3xcdyjm3vaasdx17sh0mfk-gmp-6.2.1.tar.xz.drv