Jo-Philipp Wich 9a049babb7 tools/ppl: fix automake error due to use of obsolete directory name vor 13 Jahren
..
001-gmp_5_fix.patch 22a7f8afb1 ppl: go back to version 0.10.2 vor 15 Jahren
002-replace-pkglib_DATA.patch 9a049babb7 tools/ppl: fix automake error due to use of obsolete directory name vor 13 Jahren