Content of RPM cbmc-debuginfo-5.50.0-2.fc37.x86_64.rpm :
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/3e
/usr/lib/debug/.build-id/3e/8c0c287ae9dea11290dcd3494533610a110a1d
/usr/lib/debug/.build-id/3e/8c0c287ae9dea11290dcd3494533610a110a1d.debug
/usr/lib/debug/.build-id/62
/usr/lib/debug/.build-id/62/7b26724c2eb2b85588f6d82fa72f01ae0acef4
/usr/lib/debug/.build-id/62/7b26724c2eb2b85588f6d82fa72f01ae0acef4.debug
/usr/lib/debug/.build-id/75
/usr/lib/debug/.build-id/75/eb103bdfa876664e5ca03abc5b041740f69712
/usr/lib/debug/.build-id/75/eb103bdfa876664e5ca03abc5b041740f69712.debug
/usr/lib/debug/.build-id/c5
/usr/lib/debug/.build-id/c5/9bd82da7db544a3750df8fcf5323d6e2f4577f
/usr/lib/debug/.build-id/c5/9bd82da7db544a3750df8fcf5323d6e2f4577f.debug
/usr/lib/debug/.build-id/e3
/usr/lib/debug/.build-id/e3/f93f0ffd9ba6548fc3e69e30186bc5e9deb5e3
/usr/lib/debug/.build-id/e3/f93f0ffd9ba6548fc3e69e30186bc5e9deb5e3.debug
/usr/lib/debug/.build-id/ed
/usr/lib/debug/.build-id/ed/11fa37e9c60537b6bf987ae192f803d30ce5e4
/usr/lib/debug/.build-id/ed/11fa37e9c60537b6bf987ae192f803d30ce5e4.debug
/usr/lib/debug/.build-id/f2
/usr/lib/debug/.build-id/f2/d3a5b921b345971aaebb7f1d6ee25804ac1d28
/usr/lib/debug/.build-id/f2/d3a5b921b345971aaebb7f1d6ee25804ac1d28.debug
/usr/lib/debug/.build-id/fd
/usr/lib/debug/.build-id/fd/e1041364055ee422480fa6d9e1de7435183d9a
/usr/lib/debug/.build-id/fd/e1041364055ee422480fa6d9e1de7435183d9a.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/cbmc-5.50.0-2.fc37.x86_64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/cbmc-5.50.0-2.fc37.x86_64.debug
/usr/lib/debug/usr/bin/crangler-5.50.0-2.fc37.x86_64.debug
/usr/lib/debug/usr/bin/goto-analyzer-5.50.0-2.fc37.x86_64.debug
/usr/lib/debug/usr/bin/goto-cc-5.50.0-2.fc37.x86_64.debug
/usr/lib/debug/usr/bin/goto-diff-5.50.0-2.fc37.x86_64.debug
/usr/lib/debug/usr/bin/goto-harness-5.50.0-2.fc37.x86_64.debug
/usr/lib/debug/usr/bin/goto-instrument-5.50.0-2.fc37.x86_64.debug
/usr/lib/debug/usr/bin/symtab2gb-5.50.0-2.fc37.x86_64.debug