/usr/share/man/pt/man8/ is in debsums 2.0.52+deb7u1.
This file is owned by root:root, with mode 0o755.
..
/usr/share/man/pt/man8/debsums_init.8.gz