Re: [MacPorts] #39109: ppl: configure: error: Cannot find GMP version 4.1.3 or higher.