/usr/lib/gcc-cross/alpha-linux-gnu/6/adainclude/gnatvsn/ is in libgnatprj6-dev-alpha-cross 6.3.0-18cross1.
This file is owned by root:root, with mode 0o755.