Content of RPM cbmc-debuginfo-5.95.1-5.fc41.x86_64.rpm :
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/09
/usr/lib/debug/.build-id/09/d52593041fc586893700d14d5e1a4601de019b
/usr/lib/debug/.build-id/09/d52593041fc586893700d14d5e1a4601de019b.debug
/usr/lib/debug/.build-id/2a
/usr/lib/debug/.build-id/2a/aa83c036a369d4ad8f4c20598371c98d0a509d
/usr/lib/debug/.build-id/2a/aa83c036a369d4ad8f4c20598371c98d0a509d.debug
/usr/lib/debug/.build-id/2d
/usr/lib/debug/.build-id/2d/f122b0d3f9580087ce41bb4e1be5a068038f3d
/usr/lib/debug/.build-id/2d/f122b0d3f9580087ce41bb4e1be5a068038f3d.debug
/usr/lib/debug/.build-id/75
/usr/lib/debug/.build-id/75/277df04759d33c3c8a34c894ddd87ff05c7faa
/usr/lib/debug/.build-id/75/277df04759d33c3c8a34c894ddd87ff05c7faa.debug
/usr/lib/debug/.build-id/7a
/usr/lib/debug/.build-id/7a/693a0f79dc0289c0c8ef746f6a3c10c519b783
/usr/lib/debug/.build-id/7a/693a0f79dc0289c0c8ef746f6a3c10c519b783.debug
/usr/lib/debug/.build-id/85
/usr/lib/debug/.build-id/85/e45ee9141b680e7d56afe16e365fb67ded1abb
/usr/lib/debug/.build-id/85/e45ee9141b680e7d56afe16e365fb67ded1abb.debug
/usr/lib/debug/.build-id/bd
/usr/lib/debug/.build-id/bd/5019a9e6ab59b8ae7dc0cc4a054cd53f745d5c
/usr/lib/debug/.build-id/bd/5019a9e6ab59b8ae7dc0cc4a054cd53f745d5c.debug
/usr/lib/debug/.build-id/c9
/usr/lib/debug/.build-id/c9/9078aa6b65618741fac30d330c21cdabec3002
/usr/lib/debug/.build-id/c9/9078aa6b65618741fac30d330c21cdabec3002.debug
/usr/lib/debug/.build-id/db
/usr/lib/debug/.build-id/db/754a5f9d84834e25bace90dee352a7c5f520f8
/usr/lib/debug/.build-id/db/754a5f9d84834e25bace90dee352a7c5f520f8.debug
/usr/lib/debug/.build-id/e4
/usr/lib/debug/.build-id/e4/9515f883d99f36dda4e103f7adb1daba0c235c
/usr/lib/debug/.build-id/e4/9515f883d99f36dda4e103f7adb1daba0c235c.debug
/usr/lib/debug/.build-id/ff
/usr/lib/debug/.build-id/ff/6213c79dbd6776c384af21fe5c57cdce9b1ae2
/usr/lib/debug/.build-id/ff/6213c79dbd6776c384af21fe5c57cdce9b1ae2.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/cbmc-5.95.1-5.fc41.x86_64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/cbmc-5.95.1-5.fc41.x86_64.debug
/usr/lib/debug/usr/bin/cprover-5.95.1-5.fc41.x86_64.debug
/usr/lib/debug/usr/bin/crangler-5.95.1-5.fc41.x86_64.debug
/usr/lib/debug/usr/bin/goto-analyzer-5.95.1-5.fc41.x86_64.debug
/usr/lib/debug/usr/bin/goto-cc-5.95.1-5.fc41.x86_64.debug
/usr/lib/debug/usr/bin/goto-diff-5.95.1-5.fc41.x86_64.debug
/usr/lib/debug/usr/bin/goto-harness-5.95.1-5.fc41.x86_64.debug
/usr/lib/debug/usr/bin/goto-inspect-5.95.1-5.fc41.x86_64.debug
/usr/lib/debug/usr/bin/goto-instrument-5.95.1-5.fc41.x86_64.debug
/usr/lib/debug/usr/bin/goto-synthesizer-5.95.1-5.fc41.x86_64.debug
/usr/lib/debug/usr/bin/symtab2gb-5.95.1-5.fc41.x86_64.debug