File list of package libppl-dev in sid of architecture hurd-i386

/usr/include/i386-gnu/ppl.hh
/usr/include/i386-gnu/ppl_c.h
/usr/lib/i386-gnu/libppl.a
/usr/lib/i386-gnu/libppl.so
/usr/lib/i386-gnu/libppl_c.a
/usr/lib/i386-gnu/libppl_c.so
/usr/share/aclocal/ppl.m4
/usr/share/aclocal/ppl_c.m4
/usr/share/doc/libppl-dev/BUGS
/usr/share/doc/libppl-dev/CREDITS.gz
/usr/share/doc/libppl-dev/NEWS.gz
/usr/share/doc/libppl-dev/README.gz
/usr/share/doc/libppl-dev/changelog.Debian.gz
/usr/share/doc/libppl-dev/changelog.gz
/usr/share/doc/libppl-dev/copyright
/usr/share/man/man3/libppl.3.gz
/usr/share/man/man3/libppl_c.3.gz