/usr/share/ada/ is in libahven5-dev 2.6-1.1.
This file is owned by root:root, with mode 0o755.
..
/usr/share/ada/adainclude/
/usr/share/ada/adainclude/ahven/
/usr/share/ada/adainclude/ahven.gpr
/usr/share/ada/adainclude/ahven/ahven-astrings.ads
/usr/share/ada/adainclude/ahven/ahven-framework.adb
/usr/share/ada/adainclude/ahven/ahven-framework.ads
/usr/share/ada/adainclude/ahven/ahven-listeners-basic.ads
/usr/share/ada/adainclude/ahven/ahven-listeners.ads
/usr/share/ada/adainclude/ahven/ahven-long_astrings.ads
/usr/share/ada/adainclude/ahven/ahven-name_list.ads
/usr/share/ada/adainclude/ahven/ahven-parameters.ads
/usr/share/ada/adainclude/ahven/ahven-results.ads
/usr/share/ada/adainclude/ahven/ahven-runner.ads
/usr/share/ada/adainclude/ahven/ahven-slist.adb
/usr/share/ada/adainclude/ahven/ahven-slist.ads
/usr/share/ada/adainclude/ahven/ahven-tap_runner.ads
/usr/share/ada/adainclude/ahven/ahven-temporary_output.ads
/usr/share/ada/adainclude/ahven/ahven-text_runner.ads
/usr/share/ada/adainclude/ahven/ahven-xml_runner.ads
/usr/share/ada/adainclude/ahven/ahven.adb
/usr/share/ada/adainclude/ahven/ahven.ads