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