/usr/share/doc/ is in libssreflect-coq 1.5-2.
This file is owned by root:root, with mode 0o755.
..
/usr/share/doc-base/ssreflect-library
/usr/share/doc/libssreflect-coq/
/usr/share/doc/libssreflect-coq/ANNOUNCE
/usr/share/doc/libssreflect-coq/README
/usr/share/doc/libssreflect-coq/examples/
/usr/share/doc/libssreflect-coq/examples/pg-ssr.el
/usr/share/doc/libssreflect-coq/html/
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssreflect.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssrmatching.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssrfun.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.seq.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.choice.html
/usr/share/doc/libssreflect-coq/html/coqdoc.css
/usr/share/doc/libssreflect-coq/html/index.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssrbool.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.eqtype.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.fintype.html
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssrnat.html
/usr/share/doc/libssreflect-coq/html/toc.html
/usr/share/doc/libssreflect-coq/changelog.Debian.gz
/usr/share/doc/libssreflect-coq/copyright
/usr/share/doc/libssreflect-coq/README.Debian