File list of package libppl-dev in sid of architecture x32
/usr/include/x86_64-linux-gnux32/ppl.hh
/usr/include/x86_64-linux-gnux32/ppl_c.h
/usr/lib/x86_64-linux-gnux32/libppl.a
/usr/lib/x86_64-linux-gnux32/libppl.so
/usr/lib/x86_64-linux-gnux32/libppl_c.a
/usr/lib/x86_64-linux-gnux32/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.Debian.x32.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