/tools/ppl/patches/

• ../
• 001-gmp_5_fix.patch
• 002-replace-pkglib_DATA.patch