File list of package cvc3 in sid of architecture powerpcspe

/usr/bin/cvc3
/usr/share/doc/cvc3/PEOPLE
/usr/share/doc/cvc3/README
/usr/share/doc/cvc3/README.Debian
/usr/share/doc/cvc3/changelog.Debian.gz
/usr/share/doc/cvc3/copyright
/usr/share/lintian/overrides/cvc3
/usr/share/man/man1/cvc3.1.gz