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