Content of RPM cbmc-debuginfo-5.50.0-6.fc39.x86_64.rpm :
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/14
/usr/lib/debug/.build-id/14/805c213743de8f76e14966677c2218bae4cff0
/usr/lib/debug/.build-id/14/805c213743de8f76e14966677c2218bae4cff0.debug
/usr/lib/debug/.build-id/5b
/usr/lib/debug/.build-id/5b/f9c39cac0cac253a3b75d8386f3cb8bc6c3da3
/usr/lib/debug/.build-id/5b/f9c39cac0cac253a3b75d8386f3cb8bc6c3da3.debug
/usr/lib/debug/.build-id/63
/usr/lib/debug/.build-id/63/53a53ebcbeddeea2beb42e1985e49a531cb999
/usr/lib/debug/.build-id/63/53a53ebcbeddeea2beb42e1985e49a531cb999.debug
/usr/lib/debug/.build-id/70
/usr/lib/debug/.build-id/70/7046cb609308cffead6fa7395f6b9e5b6a0092
/usr/lib/debug/.build-id/70/7046cb609308cffead6fa7395f6b9e5b6a0092.debug
/usr/lib/debug/.build-id/95
/usr/lib/debug/.build-id/95/f2fb9d0b52ac030bbac75184223b83d1047e4f
/usr/lib/debug/.build-id/95/f2fb9d0b52ac030bbac75184223b83d1047e4f.debug
/usr/lib/debug/.build-id/b1
/usr/lib/debug/.build-id/b1/708d3ba69da6643e52833207fb97e5c559a8ee
/usr/lib/debug/.build-id/b1/708d3ba69da6643e52833207fb97e5c559a8ee.debug
/usr/lib/debug/.build-id/fb
/usr/lib/debug/.build-id/fb/2137a0dc38fa3f32ff5291033d0d7f035b8fb6
/usr/lib/debug/.build-id/fb/2137a0dc38fa3f32ff5291033d0d7f035b8fb6.debug
/usr/lib/debug/.build-id/fd
/usr/lib/debug/.build-id/fd/e277e83e8dc8881e1487139f839ded4de4ff82
/usr/lib/debug/.build-id/fd/e277e83e8dc8881e1487139f839ded4de4ff82.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/cbmc-5.50.0-6.fc39.x86_64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/cbmc-5.50.0-6.fc39.x86_64.debug
/usr/lib/debug/usr/bin/crangler-5.50.0-6.fc39.x86_64.debug
/usr/lib/debug/usr/bin/goto-analyzer-5.50.0-6.fc39.x86_64.debug
/usr/lib/debug/usr/bin/goto-cc-5.50.0-6.fc39.x86_64.debug
/usr/lib/debug/usr/bin/goto-diff-5.50.0-6.fc39.x86_64.debug
/usr/lib/debug/usr/bin/goto-harness-5.50.0-6.fc39.x86_64.debug
/usr/lib/debug/usr/bin/goto-instrument-5.50.0-6.fc39.x86_64.debug
/usr/lib/debug/usr/bin/symtab2gb-5.50.0-6.fc39.x86_64.debug