/usr/lib/x86_64-linux-gnu/ada/adalib/ is in libgnatcoll-gmp1.6-dev 1.6gpl2014-9.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-io.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-misc.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-random.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-integers.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-lib.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp-random_state.ali
/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_gmp/gnatcoll-gmp.ali