Content of RPM cbmc-5.50.0-6.fc39.x86_64.rpm :
/usr/bin/cbmc
/usr/bin/crangler
/usr/bin/goto-analyzer
/usr/bin/goto-cc
/usr/bin/goto-diff
/usr/bin/goto-gcc
/usr/bin/goto-harness
/usr/bin/goto-instrument
/usr/bin/goto-ld
/usr/bin/ls_parse.py
/usr/bin/symtab2gb
/usr/lib/.build-id
/usr/lib/.build-id/14
/usr/lib/.build-id/14/805c213743de8f76e14966677c2218bae4cff0
/usr/lib/.build-id/5b
/usr/lib/.build-id/5b/f9c39cac0cac253a3b75d8386f3cb8bc6c3da3
/usr/lib/.build-id/63
/usr/lib/.build-id/63/53a53ebcbeddeea2beb42e1985e49a531cb999
/usr/lib/.build-id/70
/usr/lib/.build-id/70/7046cb609308cffead6fa7395f6b9e5b6a0092
/usr/lib/.build-id/95
/usr/lib/.build-id/95/f2fb9d0b52ac030bbac75184223b83d1047e4f
/usr/lib/.build-id/b1
/usr/lib/.build-id/b1/708d3ba69da6643e52833207fb97e5c559a8ee
/usr/lib/.build-id/fb
/usr/lib/.build-id/fb/2137a0dc38fa3f32ff5291033d0d7f035b8fb6
/usr/lib/.build-id/fd
/usr/lib/.build-id/fd/e277e83e8dc8881e1487139f839ded4de4ff82
/usr/share/doc/cbmc
/usr/share/doc/cbmc/README.md
/usr/share/licenses/cbmc
/usr/share/licenses/cbmc/LICENSE
/usr/share/man/man1/cbmc.1.gz
/usr/share/man/man1/goto-analyzer.1.gz
/usr/share/man/man1/goto-cc.1.gz
/usr/share/man/man1/goto-diff.1.gz
/usr/share/man/man1/goto-gcc.1.gz
/usr/share/man/man1/goto-harness.1.gz
/usr/share/man/man1/goto-instrument.1.gz
/usr/share/man/man1/goto-ld.1.gz