/usr/lib/ada/adalib/ahven/ is in libahven3-dev 2.1-4.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/ada/adalib/ahven/ahven-astrings.ali
/usr/lib/ada/adalib/ahven/ahven-framework.ali
/usr/lib/ada/adalib/ahven/ahven-listeners-basic.ali
/usr/lib/ada/adalib/ahven/ahven-listeners.ali
/usr/lib/ada/adalib/ahven/ahven-parameters.ali
/usr/lib/ada/adalib/ahven/ahven-results.ali
/usr/lib/ada/adalib/ahven/ahven-runner.ali
/usr/lib/ada/adalib/ahven/ahven-slist.ali
/usr/lib/ada/adalib/ahven/ahven-tap_runner.ali
/usr/lib/ada/adalib/ahven/ahven-temporary_output.ali
/usr/lib/ada/adalib/ahven/ahven-text_runner.ali
/usr/lib/ada/adalib/ahven/ahven-xml_runner.ali
/usr/lib/ada/adalib/ahven/ahven.ali
/usr/lib/ada/adalib/ahven/ahven_compat.ali