Bestandenoverzicht voor pakket libpetsc-real-dev in sid voor het platform all

/usr/share/doc/libpetsc-real-dev/changelog.Debian.gz
/usr/share/doc/libpetsc-real-dev/copyright