/usr/share/ada/adainclude/adasockets/ is in libadasockets4-dev 1.8.10-2.
This file is owned by root:root, with mode 0o755.
..
/usr/share/ada/adainclude/adasockets/sockets-constants.ads
/usr/share/ada/adainclude/adasockets/sockets-link.ads
/usr/share/ada/adainclude/adasockets/sockets-multicast.adb
/usr/share/ada/adainclude/adasockets/sockets-multicast.ads
/usr/share/ada/adainclude/adasockets/sockets-naming.adb
/usr/share/ada/adainclude/adasockets/sockets-naming.ads
/usr/share/ada/adainclude/adasockets/sockets-stream_io.adb
/usr/share/ada/adainclude/adasockets/sockets-stream_io.ads
/usr/share/ada/adainclude/adasockets/sockets-thin.ads
/usr/share/ada/adainclude/adasockets/sockets-types.ads
/usr/share/ada/adainclude/adasockets/sockets-utils.adb
/usr/share/ada/adainclude/adasockets/sockets-utils.ads
/usr/share/ada/adainclude/adasockets/sockets.adb
/usr/share/ada/adainclude/adasockets/sockets.ads