debian/tmp/usr/lib/libPPI.a
debian/tmp/usr/include/PPI
debian/README usr/share/doc/libsenf-ppi-dev