/usr/share/ada/ is in libgmpada7-dev 1.1-2.
This file is owned by root:root, with mode 0o755.
..
/usr/share/ada/adainclude/
/usr/share/ada/adainclude/gmpada/
/usr/share/ada/adainclude/gmpada/gmp-binding.adb
/usr/share/ada/adainclude/gmpada/gmp-binding.ads
/usr/share/ada/adainclude/gmpada/gmp-constants.ads
/usr/share/ada/adainclude/gmpada/gmp.ads
/usr/share/ada/adainclude/gmpada/gmp_macros.c
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-aux.adb
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-aux.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_floats.adb
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_floats.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_integers.adb
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_integers.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_rationals.adb
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-big_rationals.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-generic_text_io.adb
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-generic_text_io.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-random_numbers.adb
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-random_numbers.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-text_io.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-wide_text_io.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision-wide_wide_text_io.ads
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision.adb
/usr/share/ada/adainclude/gmpada/gnu_multiple_precision.ads