Content of RPM gnatcoll_gmp-devel-24.0.0-8.70.x86_64.rpm :
/usr/include/gnatcoll_gmp
/usr/include/gnatcoll_gmp/gmp_support.c
/usr/include/gnatcoll_gmp/gnatcoll-gmp-integers-io.adb
/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.adb
/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-mpz_even_p.c
/usr/include/gnatcoll_gmp/gnatcoll-gmp-mpz_odd_p.c
/usr/include/gnatcoll_gmp/gnatcoll-gmp-mpz_sign.c
/usr/include/gnatcoll_gmp/gnatcoll-gmp-random_state.adb
/usr/include/gnatcoll_gmp/gnatcoll-gmp-random_state.ads
/usr/include/gnatcoll_gmp/gnatcoll-gmp-rational_numbers.adb
/usr/include/gnatcoll_gmp/gnatcoll-gmp-rational_numbers.ads
/usr/include/gnatcoll_gmp/gnatcoll-gmp.ads
/usr/lib64/gnatcoll_gmp.relocatable
/usr/lib64/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers-io.ali
/usr/lib64/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers-misc.ali
/usr/lib64/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers-number_theoretic.ali
/usr/lib64/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers-random.ali
/usr/lib64/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers-root_extraction.ali
/usr/lib64/gnatcoll_gmp.relocatable/gnatcoll-gmp-integers.ali
/usr/lib64/gnatcoll_gmp.relocatable/gnatcoll-gmp-lib.ali
/usr/lib64/gnatcoll_gmp.relocatable/gnatcoll-gmp-random_state.ali
/usr/lib64/gnatcoll_gmp.relocatable/gnatcoll-gmp-rational_numbers.ali
/usr/lib64/gnatcoll_gmp.relocatable/gnatcoll-gmp.ali
/usr/lib64/gnatcoll_gmp.relocatable/libgnatcoll_gmp.so
/usr/lib64/gnatcoll_gmp.static
/usr/lib64/gnatcoll_gmp.static-pic
/usr/lib64/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers-io.ali
/usr/lib64/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers-misc.ali
/usr/lib64/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers-number_theoretic.ali
/usr/lib64/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers-random.ali
/usr/lib64/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers-root_extraction.ali
/usr/lib64/gnatcoll_gmp.static-pic/gnatcoll-gmp-integers.ali
/usr/lib64/gnatcoll_gmp.static-pic/gnatcoll-gmp-lib.ali
/usr/lib64/gnatcoll_gmp.static-pic/gnatcoll-gmp-random_state.ali
/usr/lib64/gnatcoll_gmp.static-pic/gnatcoll-gmp-rational_numbers.ali
/usr/lib64/gnatcoll_gmp.static-pic/gnatcoll-gmp.ali
/usr/lib64/gnatcoll_gmp.static-pic/libgnatcoll_gmp.a
/usr/lib64/gnatcoll_gmp.static/gnatcoll-gmp-integers-io.ali
/usr/lib64/gnatcoll_gmp.static/gnatcoll-gmp-integers-misc.ali
/usr/lib64/gnatcoll_gmp.static/gnatcoll-gmp-integers-number_theoretic.ali
/usr/lib64/gnatcoll_gmp.static/gnatcoll-gmp-integers-random.ali
/usr/lib64/gnatcoll_gmp.static/gnatcoll-gmp-integers-root_extraction.ali
/usr/lib64/gnatcoll_gmp.static/gnatcoll-gmp-integers.ali
/usr/lib64/gnatcoll_gmp.static/gnatcoll-gmp-lib.ali
/usr/lib64/gnatcoll_gmp.static/gnatcoll-gmp-random_state.ali
/usr/lib64/gnatcoll_gmp.static/gnatcoll-gmp-rational_numbers.ali
/usr/lib64/gnatcoll_gmp.static/gnatcoll-gmp.ali
/usr/lib64/gnatcoll_gmp.static/libgnatcoll_gmp.a
/usr/lib64/libgnatcoll_gmp.so
/usr/share/doc/packages/gnatcoll_gmp-devel
/usr/share/doc/packages/gnatcoll_gmp-devel/README.md
/usr/share/examples/gnatcoll
/usr/share/examples/gnatcoll/gmp
/usr/share/examples/gnatcoll/gmp/gmp_examples.gpr
/usr/share/examples/gnatcoll/gmp/isprime.adb
/usr/share/examples/gnatcoll/gmp/square_triangular_numbers.adb
/usr/share/gpr/gnatcoll_gmp.gpr