/usr/share/ada/adainclude/ is in libanet0.1-dev 0.1-3.
This file is owned by root:root, with mode 0o755.
..
/usr/share/ada/adainclude/anet/
/usr/share/ada/adainclude/anet.gpr
/usr/share/ada/adainclude/anet/anet-byte_swapping.adb
/usr/share/ada/adainclude/anet/anet-byte_swapping.ads
/usr/share/ada/adainclude/anet/anet-constants.ads
/usr/share/ada/adainclude/anet/anet-ipv4.adb
/usr/share/ada/adainclude/anet/anet-ipv4.ads
/usr/share/ada/adainclude/anet/anet-os.adb
/usr/share/ada/adainclude/anet/anet-os.ads
/usr/share/ada/adainclude/anet/anet-sockets-filters.adb
/usr/share/ada/adainclude/anet/anet-sockets-filters.ads
/usr/share/ada/adainclude/anet/anet-sockets-tasking.adb
/usr/share/ada/adainclude/anet/anet-sockets-tasking.ads
/usr/share/ada/adainclude/anet/anet-sockets-thin.adb
/usr/share/ada/adainclude/anet/anet-sockets-thin.ads
/usr/share/ada/adainclude/anet/anet-sockets.adb
/usr/share/ada/adainclude/anet/anet-sockets.ads
/usr/share/ada/adainclude/anet/anet-streams.adb
/usr/share/ada/adainclude/anet/anet-streams.ads
/usr/share/ada/adainclude/anet/anet-udp.adb
/usr/share/ada/adainclude/anet/anet-udp.ads
/usr/share/ada/adainclude/anet/anet-util.adb
/usr/share/ada/adainclude/anet/anet-util.ads
/usr/share/ada/adainclude/anet/anet.adb
/usr/share/ada/adainclude/anet/anet.ads