Content of RPM cbmc-debuginfo-5.95.1-4.fc40.x86_64.rpm :
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/18
/usr/lib/debug/.build-id/18/2b69bcd0f5cb7432bfbf4843a42b0f80947ed3
/usr/lib/debug/.build-id/18/2b69bcd0f5cb7432bfbf4843a42b0f80947ed3.debug
/usr/lib/debug/.build-id/29
/usr/lib/debug/.build-id/29/a643f16afc63e9395271e80ff63daedb4a1f7f
/usr/lib/debug/.build-id/29/a643f16afc63e9395271e80ff63daedb4a1f7f.debug
/usr/lib/debug/.build-id/29/aebfebac4335ac7ddda8cfd06360589ef6f303
/usr/lib/debug/.build-id/29/aebfebac4335ac7ddda8cfd06360589ef6f303.debug
/usr/lib/debug/.build-id/52
/usr/lib/debug/.build-id/52/0bcec5fc4c58eebb055b3ac0b6bd87b0e99866
/usr/lib/debug/.build-id/52/0bcec5fc4c58eebb055b3ac0b6bd87b0e99866.debug
/usr/lib/debug/.build-id/58
/usr/lib/debug/.build-id/58/b11a1b4d2251567e16f0e24dc12a244916213c
/usr/lib/debug/.build-id/58/b11a1b4d2251567e16f0e24dc12a244916213c.debug
/usr/lib/debug/.build-id/6a
/usr/lib/debug/.build-id/6a/4c711eab264b4ae56f144b54c5ced2a841097a
/usr/lib/debug/.build-id/6a/4c711eab264b4ae56f144b54c5ced2a841097a.debug
/usr/lib/debug/.build-id/78
/usr/lib/debug/.build-id/78/f759047d17a215fb6adbdd0ea40b38edb01288
/usr/lib/debug/.build-id/78/f759047d17a215fb6adbdd0ea40b38edb01288.debug
/usr/lib/debug/.build-id/95
/usr/lib/debug/.build-id/95/128cc8ef6ef435b0ba614348582a06b98dd654
/usr/lib/debug/.build-id/95/128cc8ef6ef435b0ba614348582a06b98dd654.debug
/usr/lib/debug/.build-id/bb
/usr/lib/debug/.build-id/bb/0fe83f12be90fe782f0905cf6b3aa520e590ba
/usr/lib/debug/.build-id/bb/0fe83f12be90fe782f0905cf6b3aa520e590ba.debug
/usr/lib/debug/.build-id/cf
/usr/lib/debug/.build-id/cf/4c7a71c9b7a7e6c647bb853637cb77d79f0afa
/usr/lib/debug/.build-id/cf/4c7a71c9b7a7e6c647bb853637cb77d79f0afa.debug
/usr/lib/debug/.build-id/f3
/usr/lib/debug/.build-id/f3/038353be870dd68ea3dd3f3e196a2fc5683cb7
/usr/lib/debug/.build-id/f3/038353be870dd68ea3dd3f3e196a2fc5683cb7.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/cbmc-5.95.1-4.fc40.x86_64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/cbmc-5.95.1-4.fc40.x86_64.debug
/usr/lib/debug/usr/bin/cprover-5.95.1-4.fc40.x86_64.debug
/usr/lib/debug/usr/bin/crangler-5.95.1-4.fc40.x86_64.debug
/usr/lib/debug/usr/bin/goto-analyzer-5.95.1-4.fc40.x86_64.debug
/usr/lib/debug/usr/bin/goto-cc-5.95.1-4.fc40.x86_64.debug
/usr/lib/debug/usr/bin/goto-diff-5.95.1-4.fc40.x86_64.debug
/usr/lib/debug/usr/bin/goto-harness-5.95.1-4.fc40.x86_64.debug
/usr/lib/debug/usr/bin/goto-inspect-5.95.1-4.fc40.x86_64.debug
/usr/lib/debug/usr/bin/goto-instrument-5.95.1-4.fc40.x86_64.debug
/usr/lib/debug/usr/bin/goto-synthesizer-5.95.1-4.fc40.x86_64.debug
/usr/lib/debug/usr/bin/symtab2gb-5.95.1-4.fc40.x86_64.debug