gmp: update mirror; update -devel rdeps.