libfplll-dev 4.0.4-2 / usr / share / doc / libfplll-dev / changelog.Debian.gz

/usr/share/doc/libfplll-dev/changelog.Debian.gz is in libfplll-dev 4.0.4-2.

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

It is a symlink to /usr/share/doc/libfplll-dev/../libfplll0/changelog.Debian.gz