/gnu/store/347rn8mg6q0y0b2pjk6ravhkp1gilg6n-gmp-6.0.0a.tar.xz.drv