Content of RPM cbmc-5.95.1-5.fc41.x86_64.rpm :
/usr/bin/cbmc
/usr/bin/cprover
/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-inspect
/usr/bin/goto-instrument
/usr/bin/goto-ld
/usr/bin/goto-synthesizer
/usr/bin/ls_parse.py
/usr/bin/symtab2gb
/usr/lib/.build-id
/usr/lib/.build-id/09
/usr/lib/.build-id/09/d52593041fc586893700d14d5e1a4601de019b
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/aa83c036a369d4ad8f4c20598371c98d0a509d
/usr/lib/.build-id/2d
/usr/lib/.build-id/2d/f122b0d3f9580087ce41bb4e1be5a068038f3d
/usr/lib/.build-id/75
/usr/lib/.build-id/75/277df04759d33c3c8a34c894ddd87ff05c7faa
/usr/lib/.build-id/7a
/usr/lib/.build-id/7a/693a0f79dc0289c0c8ef746f6a3c10c519b783
/usr/lib/.build-id/85
/usr/lib/.build-id/85/e45ee9141b680e7d56afe16e365fb67ded1abb
/usr/lib/.build-id/bd
/usr/lib/.build-id/bd/5019a9e6ab59b8ae7dc0cc4a054cd53f745d5c
/usr/lib/.build-id/c9
/usr/lib/.build-id/c9/9078aa6b65618741fac30d330c21cdabec3002
/usr/lib/.build-id/db
/usr/lib/.build-id/db/754a5f9d84834e25bace90dee352a7c5f520f8
/usr/lib/.build-id/e4
/usr/lib/.build-id/e4/9515f883d99f36dda4e103f7adb1daba0c235c
/usr/lib/.build-id/ff
/usr/lib/.build-id/ff/6213c79dbd6776c384af21fe5c57cdce9b1ae2
/usr/share/bash-completion/completions
/usr/share/bash-completion/completions/cbmc
/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/crangler.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
/usr/share/man/man1/goto-synthesizer.1.gz
/usr/share/man/man1/memory-analyzer.1.gz
/usr/share/man/man1/symtab2gb.1.gz
9331061