Re: [MacPorts] #46740: gmp: configure fails (was: Error: Processing of port wget failed)