Paketin libpetsc-real-dev tiedostoluettelo jakelussa experimental arkkitehtuurilla all

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