libppl-dev 1:1.1-7.2build1 / usr / share / doc / libppl-dev / changelog.Debian.gz

/usr/share/doc/libppl-dev/changelog.Debian.gz is in libppl-dev 1:1.1-7.2build1.

This file is owned by root:root, with mode 0o777.

It is a symlink to /usr/share/doc/libppl-dev/../libppl13v5/changelog.Debian.gz