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