/patches/ppl/0.10.2/

• ../
• 100-fix-configure-with-gmp-5_0_1.patch