Content of RPM gnatcoll-gmp-devel-25.0.0-2.fc42.i686.rpm :
/usr/include/gnatcoll-gmp
/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-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/lib/gnatcoll-gmp
/usr/lib/gnatcoll-gmp/gnatcoll-gmp-integers-io.ali
/usr/lib/gnatcoll-gmp/gnatcoll-gmp-integers-misc.ali
/usr/lib/gnatcoll-gmp/gnatcoll-gmp-integers-number_theoretic.ali
/usr/lib/gnatcoll-gmp/gnatcoll-gmp-integers-random.ali
/usr/lib/gnatcoll-gmp/gnatcoll-gmp-integers-root_extraction.ali
/usr/lib/gnatcoll-gmp/gnatcoll-gmp-integers.ali
/usr/lib/gnatcoll-gmp/gnatcoll-gmp-lib.ali
/usr/lib/gnatcoll-gmp/gnatcoll-gmp-random_state.ali
/usr/lib/gnatcoll-gmp/gnatcoll-gmp-rational_numbers.ali
/usr/lib/gnatcoll-gmp/gnatcoll-gmp.ali
/usr/lib/libgnatcoll_gmp.so
/usr/share/doc/gnatcoll-gmp
/usr/share/doc/gnatcoll-gmp/README.md
/usr/share/doc/gnatcoll-gmp/examples
/usr/share/doc/gnatcoll-gmp/examples/gmp_examples.gpr
/usr/share/doc/gnatcoll-gmp/examples/isprime.adb
/usr/share/doc/gnatcoll-gmp/examples/square_triangular_numbers.adb
/usr/share/gpr/gnatcoll_gmp.gpr