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