Content of RPM cbmc-debuginfo-5.50.0-4.fc38.x86_64.rpm :
/usr/lib/debug
/usr/lib/debug/.build-id
/usr/lib/debug/.build-id/1c
/usr/lib/debug/.build-id/1c/3535484ab597e0dcb67f2005e1a2b533c8c058
/usr/lib/debug/.build-id/1c/3535484ab597e0dcb67f2005e1a2b533c8c058.debug
/usr/lib/debug/.build-id/2a
/usr/lib/debug/.build-id/2a/0bbd4edb56cf949bf31cb44014954f4c0c2d13
/usr/lib/debug/.build-id/2a/0bbd4edb56cf949bf31cb44014954f4c0c2d13.debug
/usr/lib/debug/.build-id/2c
/usr/lib/debug/.build-id/2c/90fa8888eea095df2378a0f7fae66ba29b2cf1
/usr/lib/debug/.build-id/2c/90fa8888eea095df2378a0f7fae66ba29b2cf1.debug
/usr/lib/debug/.build-id/89
/usr/lib/debug/.build-id/89/8e34c8e4cae3d358f47ddf119e9f71320907ef
/usr/lib/debug/.build-id/89/8e34c8e4cae3d358f47ddf119e9f71320907ef.debug
/usr/lib/debug/.build-id/8b
/usr/lib/debug/.build-id/8b/85d9486c5140bf91e688bf01a97ec1a707d01f
/usr/lib/debug/.build-id/8b/85d9486c5140bf91e688bf01a97ec1a707d01f.debug
/usr/lib/debug/.build-id/8d
/usr/lib/debug/.build-id/8d/88530ee28719f5b72ef3c44b229f94658fd35c
/usr/lib/debug/.build-id/8d/88530ee28719f5b72ef3c44b229f94658fd35c.debug
/usr/lib/debug/.build-id/a2
/usr/lib/debug/.build-id/a2/aeb959cffc5361f8512d7a2df4b63ea6b7d499
/usr/lib/debug/.build-id/a2/aeb959cffc5361f8512d7a2df4b63ea6b7d499.debug
/usr/lib/debug/.build-id/e6
/usr/lib/debug/.build-id/e6/a79f20d3da1814f0c1aee09fb0f19320cfb748
/usr/lib/debug/.build-id/e6/a79f20d3da1814f0c1aee09fb0f19320cfb748.debug
/usr/lib/debug/.dwz
/usr/lib/debug/.dwz/cbmc-5.50.0-4.fc38.x86_64
/usr/lib/debug/usr
/usr/lib/debug/usr/bin
/usr/lib/debug/usr/bin/cbmc-5.50.0-4.fc38.x86_64.debug
/usr/lib/debug/usr/bin/crangler-5.50.0-4.fc38.x86_64.debug
/usr/lib/debug/usr/bin/goto-analyzer-5.50.0-4.fc38.x86_64.debug
/usr/lib/debug/usr/bin/goto-cc-5.50.0-4.fc38.x86_64.debug
/usr/lib/debug/usr/bin/goto-diff-5.50.0-4.fc38.x86_64.debug
/usr/lib/debug/usr/bin/goto-harness-5.50.0-4.fc38.x86_64.debug
/usr/lib/debug/usr/bin/goto-instrument-5.50.0-4.fc38.x86_64.debug
/usr/lib/debug/usr/bin/symtab2gb-5.50.0-4.fc38.x86_64.debug