/usr/lib/x86_64-linux-gnu/ada/adalib/ is in libadasockets7-dev 1.10.1-1.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/
/usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-constants.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-link.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-multicast.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-naming.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-stream_io.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-thin.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-types.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-utils.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets.ali