libppl9 libppl_c4 ppl-devel requires -ppl- requires "libppl9- = " requires "libppl_c4- = " requires "gmp-devel- >= 4.1.3"