/usr/lib/ada/adalib/ is in libahven4-dev 2.4+repack-1.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/ada/adalib/ahven/
/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-long_astrings.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