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