Content of RPM gnatcoll-bindings-devel-2018-5.fc32.x86_64.rpm :
/usr/include/gnatcoll_gmp
/usr/include/gnatcoll_gmp/gnatcoll-gmp-integers-io.ads
/usr/include/gnatcoll_gmp/gnatcoll-gmp-integers-misc.adb
/usr/include/gnatcoll_gmp/gnatcoll-gmp-integers-misc.ads
/usr/include/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.adb
/usr/include/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.ads
/usr/include/gnatcoll_gmp/gnatcoll-gmp-integers-random.ads
/usr/include/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.adb
/usr/include/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.ads
/usr/include/gnatcoll_gmp/gnatcoll-gmp-integers.adb
/usr/include/gnatcoll_gmp/gnatcoll-gmp-integers.ads
/usr/include/gnatcoll_gmp/gnatcoll-gmp-lib.ads
/usr/include/gnatcoll_gmp/gnatcoll-gmp-random_state.ads
/usr/include/gnatcoll_gmp/gnatcoll-gmp.ads
/usr/include/gnatcoll_iconv
/usr/include/gnatcoll_iconv/gnatcoll-iconv.ads
/usr/include/gnatcoll_readline
/usr/include/gnatcoll_readline/gnatcoll-readline.ads
/usr/include/gnatcoll_syslog
/usr/include/gnatcoll_syslog/gnatcoll-traces-syslog.ads
/usr/lib64/gnatcoll_gmp
/usr/lib64/gnatcoll_gmp/gnatcoll-gmp-integers-io.ali
/usr/lib64/gnatcoll_gmp/gnatcoll-gmp-integers-misc.ali
/usr/lib64/gnatcoll_gmp/gnatcoll-gmp-integers-number_theoretic.ali
/usr/lib64/gnatcoll_gmp/gnatcoll-gmp-integers-random.ali
/usr/lib64/gnatcoll_gmp/gnatcoll-gmp-integers-root_extraction.ali
/usr/lib64/gnatcoll_gmp/gnatcoll-gmp-integers.ali
/usr/lib64/gnatcoll_gmp/gnatcoll-gmp-lib.ali
/usr/lib64/gnatcoll_gmp/gnatcoll-gmp-random_state.ali
/usr/lib64/gnatcoll_gmp/gnatcoll-gmp.ali
/usr/lib64/gnatcoll_iconv
/usr/lib64/gnatcoll_iconv/gnatcoll-iconv.ali
/usr/lib64/gnatcoll_readline
/usr/lib64/gnatcoll_readline/gnatcoll-readline.ali
/usr/lib64/gnatcoll_syslog
/usr/lib64/gnatcoll_syslog/gnatcoll-traces-syslog.ali
/usr/lib64/libgnatcoll_gmp.so
/usr/lib64/libgnatcoll_iconv.so
/usr/lib64/libgnatcoll_readline.so
/usr/lib64/libgnatcoll_syslog.so
/usr/share/doc/gnatcoll
/usr/share/doc/gnatcoll/examples
/usr/share/doc/gnatcoll/examples/gmp
/usr/share/doc/gnatcoll/examples/gmp/gmp_examples.gpr
/usr/share/doc/gnatcoll/examples/gmp/isprime.adb
/usr/share/doc/gnatcoll/examples/gmp/square_triangular_numbers.adb
/usr/share/doc/gnatcoll/iconv
/usr/share/doc/gnatcoll/iconv/README.md
/usr/share/doc/gnatcoll/readline
/usr/share/doc/gnatcoll/readline/README.md
/usr/share/doc/gnatcoll/syslog
/usr/share/doc/gnatcoll/syslog/README.md
/usr/share/gpr/gnatcoll_gmp.gpr
/usr/share/gpr/gnatcoll_iconv.gpr
/usr/share/gpr/gnatcoll_readline.gpr
/usr/share/gpr/gnatcoll_syslog.gpr