/gnu/store/4b8478issmlhkvhkm0spp154r7bbw69m-gmp-6.0.0a.tar.xz.drv