Liste des fichiers du paquet cvc4-dbgsym dans sid pour l'architecture ppc64

/usr/lib/debug/.build-id/5e/a74f3c7b0a91bde0cf6d6464194dd47eee7737.debug
/usr/share/doc/cvc4-dbgsym