Filelist of package cbmc in wheezy of architecture amd64

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