Content of RPM cbmc-debuginfo-6.4.1-1.fc42.x86_64.rpm :
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/1d
/usr/lib/debug/.build-id/1d/09aa762a3cec58f6d943ddfa7b41d519faedae
/usr/lib/debug/.build-id/1d/09aa762a3cec58f6d943ddfa7b41d519faedae.debug
/usr/lib/debug/.build-id/21
/usr/lib/debug/.build-id/21/0bb45c97f7b34dea0ca71cfd15bc513c942c22
/usr/lib/debug/.build-id/21/0bb45c97f7b34dea0ca71cfd15bc513c942c22.debug
/usr/lib/debug/.build-id/27
/usr/lib/debug/.build-id/27/27f5d654edc7f6641ca8f580e2f3a4b25d7fbb
/usr/lib/debug/.build-id/27/27f5d654edc7f6641ca8f580e2f3a4b25d7fbb.debug
/usr/lib/debug/.build-id/3d
/usr/lib/debug/.build-id/3d/bcb4b6bf0fc6699f8ce3b8ee073e484844f448
/usr/lib/debug/.build-id/3d/bcb4b6bf0fc6699f8ce3b8ee073e484844f448.debug
/usr/lib/debug/.build-id/6f
/usr/lib/debug/.build-id/6f/57b62f609acbed54726903fdf2625f9e6a2002
/usr/lib/debug/.build-id/6f/57b62f609acbed54726903fdf2625f9e6a2002.debug
/usr/lib/debug/.build-id/76
/usr/lib/debug/.build-id/76/a75bb43e02ab4f7e921d0134e34dc6d2f9b6a0
/usr/lib/debug/.build-id/76/a75bb43e02ab4f7e921d0134e34dc6d2f9b6a0.debug
/usr/lib/debug/.build-id/aa
/usr/lib/debug/.build-id/aa/3dc9f29b66e4d88710aab645194289e14b31d6
/usr/lib/debug/.build-id/aa/3dc9f29b66e4d88710aab645194289e14b31d6.debug
/usr/lib/debug/.build-id/b0
/usr/lib/debug/.build-id/b0/2c911a5d78bfdf4b4fdc96cfb6fe23942ec0bb
/usr/lib/debug/.build-id/b0/2c911a5d78bfdf4b4fdc96cfb6fe23942ec0bb.debug
/usr/lib/debug/.build-id/c1
/usr/lib/debug/.build-id/c1/8e95001a0e5115e6ecb93b67e534aeba998a31
/usr/lib/debug/.build-id/c1/8e95001a0e5115e6ecb93b67e534aeba998a31.debug
/usr/lib/debug/.build-id/c5
/usr/lib/debug/.build-id/c5/7ead3fcdc0684557e172271b5f009b1154a4a5
/usr/lib/debug/.build-id/c5/7ead3fcdc0684557e172271b5f009b1154a4a5.debug
/usr/lib/debug/.build-id/f5
/usr/lib/debug/.build-id/f5/f0835e14ea816b3485c0715c9c7ca735213109
/usr/lib/debug/.build-id/f5/f0835e14ea816b3485c0715c9c7ca735213109.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/cbmc-6.4.1-1.fc42.x86_64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/cbmc-6.4.1-1.fc42.x86_64.debug
/usr/lib/debug/usr/bin/cprover-6.4.1-1.fc42.x86_64.debug
/usr/lib/debug/usr/bin/crangler-6.4.1-1.fc42.x86_64.debug
/usr/lib/debug/usr/bin/goto-analyzer-6.4.1-1.fc42.x86_64.debug
/usr/lib/debug/usr/bin/goto-cc-6.4.1-1.fc42.x86_64.debug
/usr/lib/debug/usr/bin/goto-diff-6.4.1-1.fc42.x86_64.debug
/usr/lib/debug/usr/bin/goto-harness-6.4.1-1.fc42.x86_64.debug
/usr/lib/debug/usr/bin/goto-inspect-6.4.1-1.fc42.x86_64.debug
/usr/lib/debug/usr/bin/goto-instrument-6.4.1-1.fc42.x86_64.debug
/usr/lib/debug/usr/bin/goto-synthesizer-6.4.1-1.fc42.x86_64.debug
/usr/lib/debug/usr/bin/symtab2gb-6.4.1-1.fc42.x86_64.debug