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