# libtool archives
usr/lib/${DEB_HOST_MULTIARCH}/libppl.la
usr/lib/${DEB_HOST_MULTIARCH}/libppl_c.la
usr/lib/${DEB_HOST_MULTIARCH}/ppl/libppl_swiprolog.la
# Demo program
usr/bin/ppl_pips
usr/share/man/man1/ppl_pips.1
# Installed from the source tree by dh_installdocs/dh_installchangelogs
usr/share/doc/ppl/BUGS
usr/share/doc/ppl/CREDITS
usr/share/doc/ppl/ChangeLog
usr/share/doc/ppl/NEWS
usr/share/doc/ppl/README
# Licenses are covered by debian/copyright
usr/share/doc/ppl/COPYING
usr/share/doc/ppl/fdl.pdf
usr/share/doc/ppl/fdl.ps.gz
usr/share/doc/ppl/fdl.txt
usr/share/doc/ppl/gpl.pdf
usr/share/doc/ppl/gpl.ps.gz
usr/share/doc/ppl/gpl.txt
# Not useful for users of the Debian packages
usr/share/doc/ppl/README.configure
usr/share/doc/ppl/README.doc
usr/share/doc/ppl/TODO
