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