Список файлов пакета cbmc в trixie для архитектуры armhf
/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-inspect
/usr/bin/goto-instrument
/usr/bin/goto-ld
/usr/bin/goto-synthesizer
/usr/bin/symtab2gb
/usr/share/doc/cbmc/changelog.Debian.gz
/usr/share/doc/cbmc/changelog.gz
/usr/share/doc/cbmc/copyright
/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
/usr/share/man/man2/goto-inspect.2.gz