Re: [PPL-devel] [GIT] ppl/ppl(pip): Added support for GMP 5.0.

hi, i tried to add gmp-5.0 support patching ppl-0.10.2 but ppl check still doesn't recognize it. http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=blobdiff;f=m4/ac_check...

I'd like to know if it's already scheduled a new ppl minor release bump (maybe ppl-10.3) that is able to compile against the new gmp-5.x series.

thanks again,