patches/ppl/0.11.2/400-fix-build-with-gmp-5.1.patch
2013-12-08 complibs/ppl: Fix build of ppl 0.11.2 with gmp 5.1 and later