File list of package jbmc in sid of architecture ppc64el

/usr/bin/janalyzer
/usr/bin/jbmc
/usr/bin/jdiff
/usr/share/doc/jbmc/changelog.Debian.gz
/usr/share/doc/jbmc/changelog.gz
/usr/share/doc/jbmc/copyright
/usr/share/man/man1/janalyzer.1.gz
/usr/share/man/man1/jbmc.1.gz
/usr/share/man/man1/jdiff.1.gz