/usr/share/ada/adainclude/ is in libgnatcoll-gmp1.6-dev 1.6gpl2014-9.
This file is owned by root:root, with mode 0o755.
..
/usr/share/ada/adainclude/gnatcoll_gmp/
/usr/share/ada/adainclude/gnatcoll_gmp.gpr
/usr/share/ada/adainclude/gnatcoll_gmp/gmp_support.c
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-io.adb
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-io.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-misc.adb
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-misc.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.adb
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-random.adb
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-random.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.adb
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers.adb
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-integers.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-lib.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-mpz_even_p.c
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-mpz_odd_p.c
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-mpz_sign.c
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-random_state.adb
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp-random_state.ads
/usr/share/ada/adainclude/gnatcoll_gmp/gnatcoll-gmp.ads