Re: [suse-amd64] help installing libgmp-devel?