/usr/share/doc/libahven6-dev/examples/ is in libahven6-dev 2.6-1.2.
This file is owned by root:root, with mode 0o755.
..
/usr/share/doc/libahven6-dev/examples/docbook-testreport/
/usr/share/doc/libahven6-dev/examples/docbook-testreport/Makefile
/usr/share/doc/libahven6-dev/examples/docbook-testreport/index.xml
/usr/share/doc/libahven6-dev/examples/docbook-testreport/result-header.xml
/usr/share/doc/libahven6-dev/examples/docbook-testreport/xsl/
/usr/share/doc/libahven6-dev/examples/docbook-testreport/xsl/html.xsl
/usr/share/doc/libahven6-dev/examples/docbook-testreport/xsl/overview.xsl
/usr/share/doc/libahven6-dev/examples/docbook-testreport/xsl/transform.xsl
/usr/share/doc/libahven6-dev/examples/docbook-testreport/xsl/txt.xsl
/usr/share/doc/libahven6-dev/examples/examples.gpr
/usr/share/doc/libahven6-dev/examples/runner.adb
/usr/share/doc/libahven6-dev/examples/simple_tests.adb
/usr/share/doc/libahven6-dev/examples/simple_tests.ads