/usr/lib64/libppl.so.14 /usr/lib64/libppl.so.14.0.0 /usr/share/doc/ppl-1.2 /usr/share/doc/ppl-1.2/BUGS /usr/share/doc/ppl-1.2/COPYING /usr/share/doc/ppl-1.2/CREDITS /usr/share/doc/ppl-1.2/NEWS /usr/share/doc/ppl-1.2/README /usr/share/doc/ppl-1.2/README.configure /usr/share/doc/ppl-1.2/TODO /usr/share/doc/ppl-1.2/gpl.txt