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