/usr/lib/x86_64-linux-gnu/ada/adalib/ is in libahven6-dev 2.6-1.2.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-astrings.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-framework.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-listeners-basic.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-listeners.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-long_astrings.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-name_list.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-parameters.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-results.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-runner.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-slist.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-tap_runner.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-temporary_output.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-text_runner.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-xml_runner.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven.ali