/gnu/store/wmjbc77ljvj3y2nmypgjx3kd753gz21v-gmp-6.0.0a.tar.xz.drv