Liste des fichiers du paquet cvc3 dans sid pour l'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