[PPL-devel] ppl/fedora ppl.spec ppl-0.10-configure.patch