Filelist of package cbmc in wheezy of architecture kfreebsd-amd64

/usr/bin/cbmc
/usr/bin/goto-cc
/usr/bin/goto-instrument
/usr/share/doc/cbmc/changelog.Debian.gz
/usr/share/doc/cbmc/copyright